pseudometric space by defining for all where the triangle denotes symmetric difference.

If is a function and d₂ is a pseudometric on X₂, then gives a pseudometric on X₁. If d₂ is a metric and f is injective, then d₁ is a metric.

Topology

The ' is the topology generated by the open balls