User:Leigh.Samphier/Topology/Nagata-Smirnov Metrization Theorem/Sufficient Condition

Theorem
Let $T = \struct {S, \tau}$ be a regular topological space.

Let $T$ have a basis that is $\sigma$-locally finite

Then:


 * $T$ is metrizable