Пример 4. Если все рассматриваемые множества представляют собой конечную совокупность, то их объединение представляет собой универсальное множество E

a) A= {a, b, d}, B= {b, d, e, h}

A \ B = {a}

B \ A = {e, h}

б) M₃ \ M₄ = M₄ \ M₃ = Æ

Если все рассматриваемые множества представляют собой конечную совокупность, то их объединение представляет собой универсальное множество E. В этом случае может быть определена операция дополнения.

Опр. 8 Дополнением (до E) множества A называется множество всех элементов, не принадлежащих A. Обозначается .

Операторная запись: = E \ A, где E-универсальное множество.

Символическая запись: = { x | x A }