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

Большой круг изображает данное множество, маленький круг А – ту часть элементов данного множества, которое обладает свойством А, а кольцеобразная часть А* – ту часть элементов, которые не обладают свойством А