completely regular space

noun Mathematics.

1. a topological space in which, for every point and a closed set not containing the point, there is a continuous function that has value 0 at the given point and value 1 at each point in the closed set.