Совокупность элементов, принадлежащих универсальному множеству ******, но не принадлежащих подмножеству А, называется дополнением подмножества А.
Обозначим его («не А»). Таким образом, «неA» = {х: х* (******), х ** А}.
С помощью диаграммы Эйлера-Венна можно представить универсальное множество в виде прямоугольника, а подмножество А — в виде круга, расположенного внутри этого прямоугольника.
Тогда, очевидно, что заштрихованная область будет
соответствовать дополнению