Определение 1.8

Пусть А – некоторое множество, являющееся частью универсального (основного) множества U. Дополнением множества А называется множество, состоящее из всех тех и только тех элементов их множества U, которые не принадлежат А. Его обозначают или .

Это определение может быть записано в виде:

= {x ï xÏA}. (10)

Графически дополнения (соответственно определениям 1.7 и 1.8) изображены на рис. 19 и 20 соответственно, на которых дополнения заштрихованы.

рис. 19 рис. 20