Пусть дано некоторое множество и указаны два свойства: А, В. Так как элементы данного множества могут обладать или не обладать каждым из этих свойств

На первом рисунке круг А – это подмножество тех элементов данного множества, которые обладают свойством А, а область вне круга, т.е. область А*, - это подмножество тех элементов, которые свойством А не обладают. Аналогично круг В и область вне его.

На втором рисунке подмножества А, А*, В*, В изображены по-другому: подмножество А – это область слева от вертикально черты, а подмножество А* - это область справа от этой черты. Аналогично изображены В и В*: область В – это верхний полукруг, а область В* - это нижний полукруг