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$.

The first required property is non-negativity. The distance function $d(x,y)$ must always be greater than or equal to zero for any two points $x$ and $y$ in the metric space.

Conditions: $x$ and $y$ are elements of the metric space $A$.; $d$ is the distance function associated with that metric space.

The first required property is non-negativity. The distance function $d(x,y)$ must always be greater than or equal to zero for any two points $x$ and $y$ in the metric space.

Conditions: $x$ and $y$ are elements of the metric space $A$.; $d$ is the distance function associated with that metric space.