The Separation Axioms
Let be a topological space. Let one-point sets in be closed.
(a) is regular if and only if given a point of and a neighborhood of there is a neighborhood of such that
(b) is normal if and only if given a closed set and an open set containing there is an open set containing such that