Что называют дополнением множества Х до множества У?

Дополнением множества X до множества Y называют разность множеств Y \ X, то есть множество, состоящее из элементов множества Y, которые не принадлежат множеству X.