Урысона Лемма

Для любых двух непересекающихся замкнутых множеств Аи Внормального пространства Xсуществует действительная и непрерывная во всех точках этого пространства функция f, принимающая во всех точках множества Азначение 0, во всех точках множества Взначение 1 и удовлетворяющая во всех точках неравенству Эта лемма выражает не только необходимое, но и достаточное условие для того, чтобы T1 -пространство Xбыло нормальным. П. С. Александров.