Пусть А – произвольное множество, U –
универсальное множество, тогда множество С, состоящее из всех элементов,
принадлежащих множеству U, но не принадлежащих множеству А называется