Дополнением к классу А называется класс А′, который при сложении с А образует универсальное множество. Для образования дополнения нужно класс А исключить из универсального класса, т. е. 1 – А = А′.