Теоремы

ТЕОРЕМА О РАВЕНСТВЕ МНОЖЕСТВК статье
Два множества равны тогда и только тогда, когда каждое из них является подмножеством другого.
ТЕОРЕМА О РАЗЛОЖЕНИИ ОБЪЕДИНЕНИЯ МНОЖЕСТВК статье
Объединение двух множеств можно разложить на элементы, принадлежащие только первому множеству, только второму множеству, и элементы, принадлежащие обоим множествам.