# Metrizable

Let $(X,\tau)$ be a topological space. We say that $(X,\tau)$ is metrizable if there exists a function $d \colon X \times X \rightarrow [0,\infty)$ that is a metric such that the topology generated by $d$ is the same as $\tau$.