Eine kombinatorische Formel, die die Kardinalität einer endlichen Vereinigung von Mengen als alternierende Summe der Größen aller nichtleeren Durchschnitte dieser Mengen angibt.

Prinzip

Zähle die Vereinigung, indem man Größen von Durchschnitten abwechselnd addiert und subtrahiert, sodass Überzählungen durch Überschneidungen exakt korrigiert werden.

Demonstration

Für zwei Mengen A und B gilt |A ∪ B| = |A| + |B| − |A ∩ B|; für drei Mengen A,B,C: |A ∪ B ∪ C| = |A|+|B|+|C| − |A∩B|−|A∩C|−|B∩C| + |A∩B∩C|.

Fehlanwendung

Die endliche Inclusion–Exclusion-Formel auf unendliche Familien ohne Konvergenzbetrachtung anwenden oder nur paarweise Durchschnitte subtrahieren, obwohl mehrfache Überschneidungen vorhanden sind, was zu falschen Resultaten führt.

Konsequenz

Richtig angewandt liefert sie bei endlichen Familien die exakte Anzahl unterschiedlicher Elemente in der Vereinigung und ermöglicht korrekte Wahrscheinlichkeitsberechnungen für Vereinigungen von Ereignissen.

Umkehrung

Die Möbius-Inversion auf dem Booleschen Verband kehrt die Inclusion–Exclusion-Beziehung um und drückt Schnittgrößen durch Vereinigungsgrößen aus oder umgekehrt.

Abgrenzung

Voraussetzung ist eine endliche Anzahl von Mengen oder Kontrolle über unendliche alternierende Reihen; sie ist nicht direkt auf überabzählbare Räume ohne Maßtheorie anwendbar.

Semantische Spannung

Im Wettbewerb mit vereinfachenden Heuristiken (z. B. Überlappungen vernachlässigen) oder mit der Verwendung von Indikatorfunktionen und Linearität des Erwartungswerts; die Spannung liegt zwischen exakter Korrektur und näherungsweisen/probabilistischen Methoden.

Synthese

Inklusion–Exklusion ist der exakte kombinatorische Mechanismus zur Korrektur von Überzählungen durch alternierende Beiträge aller Durchschnitte; es ist das diskrete Gegenstück zur Möbius-Inversion im Mengenverband.