2015-09-06
341
Универсумом называется множество, содержащее элементы всех множеств, рассматриваемых в данной задаче.
На диаграмме Венна универсум обычно изображается прямоугольником. На рисунке 6 показаны множества A, B, и C, элементы их объединения образуют универсум U.
Поскольку всякое множество задачи X является подмножеством множества U, разность 
является дополнением множества X: 
. Из рисунка 6 видно, что множество C является дополнением множества 
. Очевидны следующие равенства: 
,
.
