Pertidaksamaan segitiga memberi \(d(a,a')\lt\epsilon\) untuk setiap \(\epsilon\gt0\text{;}\) maka \(d(a,a')=0\) dan sifat definit positif metrik memberi \(a=a'\text{.}\)