Un diagramme de Venn est un diagramme qui montre la relation logique entre des ensembles. Ils ont été popularisés par John Venn dans les années 1880, et sont aujourd'hui largement utilisés. Ils sont utilisés pour enseigner la théorie des ensembles élémentaires et pour illustrer des relations simples entre ensembles dans les domaines de la probabilité, de la logique, des statistiques, de la linguistique et de l'informatique. Un diagramme de Venn utilise des courbes fermées tracées sur un plan pour représenter des ensembles. Très souvent, ces courbes sont des cercles ou des ellipses.

Des idées similaires avaient été proposées avant Venn. Christian Weise en 1712 (Nucleus Logicoe Wiesianoe) et Leonhard Euler (Lettres à une princesse allemande) en 1768, avaient proposé des idées similaires. L'idée a été popularisée par Venn dans Symbolic Logic, chapitre V "Diagrammatic Representation", 1881.