Діаграма Венна - дуже зручний інструмент що дозволяє зображувати множиниі й ілюструвати операції над ними. Множини в Діаграмах Венна зображуються внутрішніми частинами кіл, їхніми перетинаннями, об'єднаннями й т.д. Прямокутник зображує універсальну множину
Використовуючи діаграми Венна, можна показати рівність двох множин.
Приклад
Покажемо, що (AÈB)' = А'ÇВ'. Множина (AÈB)' - доповнення множини AÈB, представлено діаграмою Венна на мал. 2.4, тому її зображує зафарбована область, показана на мал. 2.8

Множині А' відповідає зафарбована область на мал. 2.9. А множині В' - зафарбована область на мал. 2.10.
Множині А'ÇВ' відповідають частини, зафарбовані на обох попередніх діаграмах, тому на мал. 2.11 вона зображена більш темною областю

Одержали, що й (AÈB)' і А'ÇВ' однаково зображуються на діаграмі Венна, тому (AÈB)'= А'ÇВ'