Топологические пространства
...Х→Y называется непрерывным, если у всякого множества О, открытого в пространстве Y, полный прообраз f –1(О) открыт в пространстве Х. Замечание 1. Для любого подмножества А пространства Y и отображения f: X→Y справедливо следующее равенство: (1).