# Nagata–Smirnov metrization theorem

The Nagata–Smirnov metrization theorem in topology characterizes when a topological space is metrizable. The theorem states that a topological space $X$ is metrizable if and only if it is regular and has a countably locally finite (i.e., σ-locally finite) basis.