Un diagramma di Venn è un diagramma che mostra la relazione logica tra insiemi. Sono stati resi popolari da John Venn negli anni 1880, e sono ora ampiamente usati. Sono usati per insegnare la teoria elementare degli insiemi e per illustrare semplici relazioni tra insiemi in probabilità, logica, statistica, linguistica e informatica. Un diagramma di Venn usa curve chiuse disegnate su un piano per rappresentare gli insiemi. Molto spesso queste curve sono cerchi o ellissi.
Idee simili erano state proposte prima di Venn. Christian Weise nel 1712 (Nucleo Logicoe Wiesianoe) e Leonhard Euler (Lettere a una principessa tedesca) 1768, arrivarono con idee simili. L'idea fu resa popolare da Venn in Logica Simbolica, Capitolo V "Rappresentazione Diagrammatica", 1881.


