In topology, the Nagata–Smirnov metrization theorem characterizes when a topological space is metrizable. The theorem states that a topological space is metrizable if and only if it is regular and has a countably locally finite basis.