[0X1] Per via dell’esercizio [0WY]↺↻, potremmo equivalentemente definire \(d(x,y)=\varepsilon _{c(x,y)}\) con \(\varepsilon _ n{\gt}0\) successione decrescente infinitesima.