Операции над множествами.

Самого понятия множество недостаточно, следует определить способы конструирования новых множеств из уже имеющихся, т.е. задать операции над множествами.

Множество A содержится в множестве B (множество B включает множество A), если элемент множества A есть элемент множества B. AB:=xA=>xB. В этом случае A называют подмножеством B, а B – надмножеством A.

Обычно рассматривают следующие операции над множествами:

1. Объединение AB := { x | xAxB}

2. Пересечение AB:= { x | xA & xB}

3. Разность A \ B := { x | xAxB}

4. Симметричная разность AB:=(AB) \ (AB)

5. Дополнение :={ x | x A }Операция Дополнение подразумевает некоторый универсумU: :=U\A