O diagramă Venn este o diagramă care arată relația logică dintre seturi. Acestea au fost popularizate de John Venn în anii 1880 și sunt utilizate pe scară largă în prezent. Ele sunt utilizate pentru a preda teoria elementară a seturilor și pentru a ilustra relațiile simple dintre seturi în probabilitate, logică, statistică, lingvistică și informatică. O diagramă Venn utilizează curbe închise desenate pe un plan pentru a reprezenta seturi. Foarte adesea, aceste curbe sunt cercuri sau elipse.
Idei similare fuseseră propuse înainte de Venn. Christian Weise în 1712 (Nucleus Logicoe Wiesianoe) și Leonhard Euler (Scrisori către o prințesă germană) în 1768, de exemplu, au venit cu idei similare. Ideea a fost popularizată de Venn în Logica simbolică, capitolul V "Reprezentarea schematică", 1881.







