The theorem verifies that the zero-one distance on any set satisfies all metric axioms. It is the foundational result that lets an arbitrary set be treated as a [metric space](/page/Metric%20Space) with the [discrete metric](/page/Discrete%20Metric).