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: