Diagramoj de Venn aŭ Venn-aj diagramoj estas uzataj en aro-teorio kaj en logiko.
Jena ekzemplo de venn-a diagramo
montras, ke: