For an arbitrary set M {\displaystyle {}M} , we can define a metric via
This is called the discrete metric.