Selbstabstand einer Semimetrik

1. Axiom

Sei \((M,d)\) ein semimetrischer Raum, so gilt:

\begin{align*} \forall x \in M : d(x,x) = 0 \end{align*}