Um diagrama Venn é um diagrama que mostra a relação lógica entre os conjuntos. Eles foram popularizados por John Venn na década de 1880, e agora são amplamente utilizados. Eles são usados para ensinar a teoria elementar dos conjuntos e para ilustrar relações simples entre conjuntos em probabilidade, lógica, estatística, lingüística e informática. Um diagrama Venn usa curvas fechadas desenhadas em um plano para representar conjuntos. Muito freqüentemente, estas curvas são círculos ou elipses.

Idéias semelhantes haviam sido propostas antes de Venn. Christian Weise em 1712 (Nucleus Logicoe Wiesianoe) e Leonhard Euler (Letters to a German Princess) 1768, apresentaram idéias semelhantes. A idéia foi popularizada por Venn em Symbolic Logic, Capítulo V "Diagrammatic Representation", 1881.