1.5.7 Дополнение множества

Множество , определяемое из соотношения

1.20

называют дополнением множества А (до универсального множества I)

Графически дополнение множества А может быть представлено как показано на рис. 1.5.

Формальное определение дополнения множества А может быть записано как

1.21

Из определения дополнения множества следует, что А и не имеют общих элементов, т.е.

1.22

Кроме того, 1.23

Из симметрии формул 1.22 и 1.23 следует, что не только является дополнением А, но и А является дополнением . Но дополнение есть . Таким образом 1.24

Рис. 1.5

С помощью операции дополнения удобно представить разность множеств:

= , т.е 1.25