Es ist in der Formel mit inf völlig unklar, wie i und n in Beziehung stehen (oder muss ich den ganzen Artikel ganz ganz aufmerksam lesen, um einen Hinweis auf die Interpretation zu erhalten? Mehrmaliger Überflug war jedenfalls erfolglos.) Da fehlen ein paar Quantoren oder so. ergäbe vielleicht halbwegs Sinn. ist ein Axiom für pseudometrische Räume. Das wird unter den Tisch fallen gelassen in der "denn es gilt..."-Abfolge. Das später angesprochene "zuätzliche" ist normalerweise nur in einer Richtung interessant: . Die andere gilt schon für alle pseudometrichen Räume. (Siehe Punkt 2) -- Daniel5Ko 02:28, 8. Mär. 2014 (CET)