 Bing metrization theorem

In topology, the Bing metrization theorem, named after R. H. Bing, characterizes when a topological space is metrizable.The theorem states that a topological space formula_1 is metrizable if and only if it is regular and T0 and has a σ-discrete basis.