Für endliche Mengen gilt:
Für drei Mengen addiert man Einzelmengen, subtrahiert paarweise Schnitte und addiert den Dreifachschnitt.