Консервативное семейство
Консервати́вное семе́йство, семейство подмножеств топологического пространства, обладающее свойством: для любого имеет место равенство: (другими словами, замыкание объединения любого его подсемейства совпадает с объединением замыканий элементов этого подсемейства); это условие эквивалентно следующему: для любого множество замкнуто. В частности, семейство замкнутых множеств консервативно тогда и только тогда, когда объединение любого его подсемейства является замкнутым множеством.
Любое подсемейство консервативного семейства консервативно. Cемейство консервативно в том и только том случае, если консервативно семейство .
Свойство консервативности семейства инвариантно в сторону образа относительно замкнутых отображений и в сторону прообраза относительно открытых отображений, т. е.:
а) если – замкнутое отображение и – консервативное в семейство, то семейство консервативно в ;
б) если – открытое отображение и – консервативное в семейство, то семейство консервативно в .
Понятие консервативного семейства, важное при изучении свойств типа паракомпактности, было введено Э. Майклом (Michael. 1957) под названием семейства, «сохраняющего замыкания» (англ. closure-preserving). Русский термин «консервативное семейство» был введён в школе П. С. Александрова.