Определение 7.
Пусть В Ì А. Множество всех элементов множества А, не принадлежащих множеству В, называют дополнением к множеству В и обозначают или А В.
Если ясно, о каком множестве идёт речь, то индекс А опускается и пишут или .
Определение 8.
Пусть А – некоторое множество, являющееся частью универсального (основного) множества U. Дополнением множества А называется множество, состоящее из всех тех и только тех элементов их множества U, которые не принадлежат А. Его обозначают или .
Это определение может быть записано в виде:
= {x ï xÏA}. (10)
Графически дополнения (соответственно определениям 7 и 8) изображены на рис. 16 и 17 соответственно, на которых дополнения заштрихованы.
| A |
| B |
| U |
| A |
| U |
рис. 16 рис. 17