Дополнение множества - что это

Дополнение ("дополнение до") подмножества (а подмножество - это тоже множество) называется совокупность тех элементов родительского множества, которые не входят в данное подмножество.

Например дополнением множества А с элементами

1 2 3

до множества В с элементами

1 2 3 4 5 6 7

будет множество С с элементами:

4 5 6 7 

Данный факт записывается в виде:

C = B \ A

Или вот такое определение через разность.