completely regular space


noun Mathematics.

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.