## [Inklusions‑Exklusionsprinzip](/de/node/63489) Definition 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 Prinzip Zähle die Vereinigung, indem man Größen von Durchschnitten abwechselnd addiert und subtrahiert, sodass Überzählungen durch Überschneidungen exakt korrigiert werden. ## Demonstration 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 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 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 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 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 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 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.