Un diagramma di Venn (detto anche diagramma di Eulero-Venn[1]) è un diagramma che mostra tutte le possibili relazioni logiche tra una collezione finita di insiemi differenti. Questo metodo è stato proposto nel 1880 dal matematico inglese John Venn in un articolo intitolato On the Diagrammatic and Mechanical Representation of Propositions and Reasonings.[2]