Если класс объектов, на которых

Определение 3

. Разностью двух множеств называется новое множество

Если класс объектов, на которых определяются различные множества обозначить Универсум), то дополнением множества