Es sei M {\displaystyle {}M} eine Menge. Eine Abbildung d : M × M → R {\displaystyle {}d\colon M\times M\rightarrow \mathbb {R} } heißt Halbmetrik, wenn für alle x , y , z ∈ M {\displaystyle {}x,y,z\in M} die folgenden Bedingungen erfüllt sind:
eine Menge. Eine Abbildung
heißt Halbmetrik, wenn für alle
die folgenden Bedingungen erfüllt sind:
ist
.
(Symmetrie),
und
(Dreiecksungleichung).
