regular space
topological space in which a point and a closed set are, if disjoint, separable by neighborhoods
Moore space
developable regular Hausdorff space
completely regular space
topological space in which a point and a closed set are separable by a real-valued continuous function