1.Previous
3.Next

space is a topological space in which every two disjoint closed sets and can be precisely separated by a function, in the sense that there is a continuous function from to the interval such that and . This is a stronger separation property than normality, as by Urysohn's lemma disjoint closed sets in a normal space can be separated by a function, in the sense of and , but not precisely

1.Previous
3.Next