Некоторые следствия из ZF

Теорема о существовании и единственности объединения двух множеств

Теорема о существовании и единственности единичного множества множества

Теорема о существовании и единственности пересечения элементов множества

Теорема о существовании и единственности пересечения двух множеств

Теорема о существовании и единственности разности двух множеств

Теорема о существовании и единственности прямого произведения элементов множества

Теорема о существовании и единственности прямого произведения двух множеств

Теорема о существовании и единственности упорядоченной пары множеств

Критерий равенства упорядоченных пар множеств