О порождаемости допустимых множеств

Доказано, что для любого семейства попарно не пересекающихся элементов допустимого множества, являющихся множествами праэлементов, существует наименьшее допустимое множество, их содержащее. Установлены основные свойства конструкции релятивизации (обращение в праэлементы) допустимого множества к любому $\Sigma$-подмножеству.