Discrete metric/Definition

The metric on a space which assigns distance one to any distinct points, inducing the discrete topology.