completely regular space

topological space in which a point and a closed set are separable by a real-valued continuous function