Metric induces proximity structrure

Statement
Suppose $$(X,d)$$ is a fact about::metric space. $$X$$ can be given the structure of a fact about::proximity space with the following proximity relation:

$$A \delta B \iff d(A,B) = 0$$.

Related facts

 * Metric induces topology
 * Metric induces uniform structure