Пример 6. Если все рассматриваемые множества являются подмножеством некоторого «универсального множества» множества Е

Если A = {a,b,d}; B = {b,c,d,h}. Тогда C = A \ B={a}.

Если все рассматриваемые множества являются подмножеством некоторого «универсального множества» множества Е, то может быть определена операция дополнения. Дополнением (рис. 1.5) до Е множества А называется множество всех элементов, не принадлежащих А (но принадлежащих Е) , где E – универсальное множество; - дополнение.

Рис. 1.5. Дополнение множества А до универсального множества Е.

Свойства:

1) E \ A =;

2) A \ E=Æ.