ɭʲu"bˈɑja vʲiɕistvʲinnˈoznʌtʃʲnʌja nʲiprʲirˈyvnʌja fˈunktsyja, ʌprʲidʲiɭʲˈɵnnʌja nə zˈɑmknutʌm pʌdmnˈoʒystvʲi nʌrmˈɑɭnʌvʌ prʌstrˈɑnstva, mˌoʒyt bytʲ prʌdˈoɭʒyna dˈo nʲiprʲirˈyvnʌj fˈunktsyɪ nə fsʲˈɵm prʌstrˈɑnstvʲi.
Любая вещественнозначная непрерывная функция, определённая на замкнутом подмножестве нормального пространства, может быть продолжена до непрерывной функции на всём пространстве.