What would you like to understand?

It implies that $x$ and $y$ are the same point ($x = y$). This is the identity of indiscernibles property.

Conditions: $x$ and $y$ are points in the metric space.; $d(x,y) = 0$.

It implies that $x$ and $y$ are the same point ($x = y$). This is the identity of indiscernibles property.

Conditions: $x$ and $y$ are points in the metric space.; $d(x,y) = 0$.