Пусть X и Y — такие топологические пространства, что произвольное отображение f : X → Y, для которого каждый прообраз f⁻¹(G) открытого в Y множества G является fσ-множеством в X, можно представить в виде поточечной границы ...