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

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