Разностью двух множеств А и В называется множество, состоящее из всех элементов, принадлежащих множеству А, но не принадлежащих множеству В. (А\В).
В школьном курсе чаще всего приходится выполнять вычитание множеств, когда одно из них является подмножеством другого. При этом разность множеств А и В является дополнением множества В до множества А (ВА).
Если в задаче или теории все множества являются подмножеством некоторого множества У, то У называют универсальным множеством. В разных разделах математики в качестве универсального множества называют натуральные, целые, рациональные, действительные числа. Дополнение множества А до универсального обозначается СА.