[0X1] Because of the exercise [0WY]↺↻, we could equivalently define \(d(x,y)=\varepsilon _{c(x,y)}\) with \(\varepsilon _ n{\gt}0\) infinitesimal decreasing sequence.
