Description: A space $X$ is said to be metrizable if there exists a metric on $X$ that induces the topology on $X$.