A topological space $(X,\mathcal{T})$ is said to be metrizable if there is a metric $d\colon X\to [0,\infty)$ such that the topology induced by $d$ is $\mathcal{T}$