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 is metrizable if and only if it is regular, Hausdorff and has a countably locally finite (that is,
