Page "Nagata–Smirnov metrization theorem" Paragraph 0

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 and Hausdorff and has a countably locally finite ( i. e., σ-locally finite ) basis.