Definition (Metrizable)

A Topological Space $(X,\mathscr{T})$ is said to be metrizable if there exists a Metric $d$ on $X$ that generates $\mathscr{T}$.