Дополнение ("дополнение до") подмножества (а подмножество - это тоже множество) называется совокупность тех элементов родительского множества, которые не входят в данное подмножество.
Например дополнением множества А с элементами
1 2 3
до множества В с элементами
1 2 3 4 5 6 7
будет множество С с элементами:
4 5 6 7
Данный факт записывается в виде: