Eine kombinatorische Regel, die die Kardinalität einer endlichen Vereinigung (möglicherweise sich überschneidender) Mengen durch abwechselndes Addieren und Subtrahieren der Größen aller nichtleeren Schnitte dieser Mengen berechnet; klassisch als endliche alternierende Summe über Schnitte wachsender Ordnung dargestellt.

Prinzip

Zähle die Vereinigung, indem man die Größen der Einzelmengen aufsummiert, die Größen paarweiser Schnitte subtrahiert, die Größen dreifacher Schnitte addiert usw., fortfahrend mit wechselnden Vorzeichen, bis alle Überlappungen berücksichtigt sind.

Demonstration

Für drei endliche Mengen A, B, C gilt: |A ∪ B ∪ C| = |A|+|B|+|C| − |A∩B| − |A∩C| − |B∩C| + |A∩B∩C|. Dies korrigiert Überzählungen von Elementen in mehreren Mengen.

Fehlanwendung

Die alternierende Formel anzuwenden, ohne sicherzustellen, dass alle relevanten Schnitte gezählt werden (z. B. leere Schnitte zu übersehen oder höherordige Überschneidungen auszulassen), führt zu falschen Ergebnissen; die unbedachte Anwendung auf unendliche Familien oder nicht messbare Sammlungen kann ungültig sein.

Konsequenz

Bei korrekter Anwendung auf endliche Sammlungen liefert sie exakte Zählungen und bietet eine systematische Methode zur Behandlung von Überzählungen; sie bildet auch die Grundlage für Inklusions-Exklusions-Berechnungen in der Wahrscheinlichkeitstheorie und für Siebmethoden in der Zahlentheorie.

Umkehrung

Die Umkehrsicht betrachtet das Bestimmen von Schnittgrößen aus Vereinigungszählungen mittels Möbius-Inversion im Verbandsgitter der Teilmengen; das Umkehren der Vorzeichenfolge liefert Formeln zur Rekonstruktion von Schnittmaßen aus Vereinigungen.

Abgrenzung

Gilt für endliche Sammlungen von Mengen oder in Kontexten, in denen eine endlich additive Größe (Maß, Wahrscheinlichkeit) definiert ist; eine naive Ausdehnung auf unendliche Familien erfordert Konvergenzkontrolle oder sigma-additive Maßtheorie und kann scheitern.

Semantische Spannung

Wettstreit mit partitionbasiertem Zählen (das Überlappungen durch disjunkte Zerlegung vermeidet) und mit integral-/maßtheoretischen Ansätzen, die Grenzwerte statt endlicher alternierender Summen verwenden; Spannung entsteht bei der Wahl zwischen direkter Inklusion–Exklusion und Konstruktion disjunkter Repräsentanten.

Synthese

Inklusion–Exklusion ist ein Buchführungsmechanismus: Wechselnde Vorzeichen korrigieren sukzessive Überlappungsschichten, sodass jedes Element genau einmal gezählt wird; es ist exakt in endlichen oder kontrollierten Maßkontexten und entspricht kombinatorisch der Möbius-Inversion auf Teilmengenverbänden.