Nagata-Smirnov Metrization Theorem

Theorem
Let $X$ be a topological space.

Then $X$ is metrizable iff $X$ is regular and has a basis that is countably locally finite.