Venndiagram är illustrationer som används i mängdlära för att visa på det matematiska eller logiska sambandet mellan klasser eller mängder.[1][2] Vanligen, men inte nödvändigtvis, består ett venndiagram av två eller tre överlappande cirklar och hanterar tre respektive sju möjliga kombinationer. Venndiagram har på grund av sin pedagogiska tydlighet använts i introduktionskurser i logik sedan början av 1900-talet.[3]