Discrete metric (source code)

= Discrete metric
{title2=$d(x,y)=\boldsymbol1_{\{x\ne y\}}$}
{wiki}

The discrete metric sets $d(x,x)=0$ and $d(x,y)=1$ for distinct points. It induces the <discrete topology>, and its Cauchy sequences are exactly the eventually constant sequences.