 Metrizable space

A **metrizable space** is a topological space that can be endowed with a metric (or distance function) such that the topology induced by this metric is the same as the original topology of the space.