normal space

topological space in which every pair of disjoint closed sets has disjoint open neighborhoods