Изменения
Нет описания правки
{{Определение
|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. Для Не для любых двух множеств существует множество, являющееся их пересечением.
}}
Также можно ввести понятие максимума, минимума, верхней грани, супремума.
{{Определение)
|definition=
Множество <tex>x</tex> — транзитивное, если <tex>z \in y, y \in x \rightarrow z \in x</tex>.
