Математическая энциклопедия - урысона лемма

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

П. С. Александров.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985