Un diagramme de Venn illustre les relations logiques entre les ensembles. En probabilité, cela permet de visualiser la probabilité que différents événements se produisent simultanément (intersection) ou qu'au moins l'un d'entre eux se produise (union). Le principe d’inclusion-exclusion est utilisé pour éviter une double comptabilisation du chevauchement.