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