Топологическое пространство называется нормальным тогда и только тогда, когда для любых двух различных точек каждая из них имеет открытую окрестность, не содержащую другую точку, и каждые два дизъюнктных замкнутых множества имеют дизъюнктные открытые окрестности.
|