Urysohn metrization theoremLet X be a topological space which is regular and second countable and in which singleton sets are closed. Then X is metrizable.