Identität einer Metrik

Für jede Metrik gilt:

\begin{align*} d(x,y) = 0 \Leftrightarrow x = y \end{align*}