Универсум

Универсумом называется множество, содержащее элементы всех множеств, рассматриваемых в данной задаче.

На диаграмме Венна универсум обычно изображается прямоугольником. На рисунке 6 показаны множества A, B, и C, элементы их объединения образуют универсум U.

Поскольку всякое множество задачи X является подмножеством множества U, разность является дополнением множества X: . Из рисунка 6 видно, что множество C является дополнением множества . Очевидны следующие равенства: ,

.