Discrete topology
On any set
Metric
A discrete topology is metrizable with the so-called discrete metric
although there may exist other metricisations.
On any set
A discrete topology is metrizable with the so-called discrete metric
although there may exist other metricisations.