Metrizable Space

Definition: Metrizable Space

A topological space $(X,\tau )$ is metrizable if there exists a metric $d$ on it, such that $\tau$ is the metric topology induced by $d$.