Fungsi \(d_X\) merupakan metrik. Injektivitas diperlukan pada arah \(d_X(x,x')=0\Rightarrow x=x'\text{.}\)