Свойства операций над множествами. Графическое представление множеств
1. Свойства операций над множествами
Теория
Операции над множествами обладают свойствами, аналогичными свойствам операций над числами.
 
Свойства операций на множествами
  
\(X\), \(Y\), \(Z\) — множества. \(U\) — универсальное множество.
1. Переместительное
Переместительное свойство относительно пересеченияПереместительное свойство относительно пересечения объединения
X∩Y=Y∩XX∪Y=Y∪X
Пример:
переместительное свойство относительно пересечения: 
1,2,3,4∩2,4,6=2,4,6∩1,2,3,4=2,4.
Переместительное свойство относительно пересечения объединения:
1,2,3,4∪2,4,6=2,4,6∪1,2,3,4=1,2,3,4,6.
2. Сочетательное
Сочетательное свойство относительно пересечения
Сочетательное свойство относительно объединения
X∩Y∩Z=X∩(Y∩Z)(X∪Y)∪Z=X∪(Y∪Z)
X∩X=XX∪X=X
X∩∅=∅X∪∅=X
X∩U=XX∪U=U
Пример:
сочетательное свойство относительно пересечения:
1,3∩1,3=1,3;1,3∩∅=∅;1,3∩1,2,3...=1,3.
Сочетательное свойство относительно объединения:
1,3∪1,3=1,3;1,3∪∅=1,3;1,3∪1,2,3...=1,2,3....
3. Распределительное
 Распределительное свойство относительно пересечения Распределительное свойство относительно объединения
 (X∪Y)∩Z=(X∩Z)∪(Y∩Z) (X∩Y)∪Z=(X∪Z)∩(Y∪Z)
Пример:
распределительное свойство относительно пересечения:
1,5∪2,6∩5,6=1,5∩5,6∪2,6∩5,6=5∪6=5,6.
Распределительное свойство относительно объединения:
1,5∩2,6∪5,6=1,5∪5,6∩2,6∪5,6=1,5,6∩2,5,6=5,6.
4. Включения
Включения относительно пересеченияВключения относительно объединения
X∩(Y∪Z)⊂(X∩Y)∪(X∩Z)(X∩Y)(X∩Z)⊂X∩(Y∪Z)
Пример:
включения относительно пересечения:
1,2∩(2,3∪3,4)⊂(1,2∩2,3)∪(1,2∩3,4).
Включения относительно объединения:
(1,2∩2,3)(1,2∩3,4)⊂1,2∩(2,3∪3,4).
5. Свойства разности
X\Y∪Z=(X\Y)∩(X\Z);X\Y∩Z=(X\Y)∪(X\Z);(X\Y)∩Z=(X∩Z)\(Y∩Z);(X\Y)\Z=(X\Z)\Y.
1,2\2,3∪3,4=(1,2\2,3)∩(1,2\3,4)=1;1,2\2,3∩3,4=(1,2\2,3)∪(1,2\3,4)=1,2;(1,2\2,3)∩3,4=(1,2∩3,4)\(2,3∩3,4)=∅;(1,2\2,3)\3,4=(1,2\3,4)\2,3=1.
 
Выполняя операции над множествами в выражениях без скобок, необходимо учитывать порядок.
 
Обрати внимание!
Приоритет:
1) дополнение;
2) пересечение;
3) вычитание;
4) объединение.