EDB — 0X1

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