Изменения
Нет описания правки
{{Определение
|about=Принцип всеобъемностиобъемности
|definition=
Два множества называются
|about=Аксиома объединения
|axiom=
Для любого множества <tex>x</tex>, содержащего хотя бы один нетождественный элемент, найдется такое множество, которое состоит в точности
из тех элементов, из которых состоят элементы <tex>x</tex>. Будем записывать это так: <tex>\cup x</tex>.
Формально: <tex>\forall x (\exists y y \in x \rightarrow \exists p \forall y (y \in p \leftrightarrow \exists s (y \in s \& s \in x)))</tex>
1. Для любого множества <tex>X</tex> существует множество <tex>\{X\}</tex>, содержащее в точности <tex>X</tex>.<br>
2. Если существует хотя бы одно множество, то существует пустое множество.<br>
3. Пустое множество не единственно.<br>4. Не для любых Для двух множеств существует множество, являющееся их пересечением.
}}
