uniform structure of a metric space
Let be a metric space. There is a natural uniform structure on , which induces the same topology as the metric. We define a subset of the Cartesian product to be an entourage if and only if it contains a subset of the form
for some .