Mathematische Axiomatisierung eines Abstands zweier Elemente: Dreiecksungleichung, Symmetrie, jedes Element hat nur zu sich selbst Abstand 0
fooAbbildung g: U ⨯ U → ℜ ist Metrik für beliebige Menge U ⇔ ∀x,y,z ∈ U: g(x,y) ≤ g(x,z)+g(z,y) ∧ g(x,y) = g(y,x) ∧ g(x,x)=0 ∧ (g(x,y)=0 ⇒ x=y)
foo