Metric induces proximity structrure

From Topospaces

Statement

Suppose is a Metric space (?). can be given the structure of a Proximity space (?) with the following proximity relation:

.

Related facts