Warum Überschneidungen korrigiert werden

$|A|+|B|$ zählt jedes Element von $A\cap B$ zweimal. Einmaliges Subtrahieren stellt die richtige Mehrfachheit eins her.

Nach Addition der drei Mengen und Subtraktion der drei Paarschnitte wurde der Dreifachschnitt vollständig entfernt und muss einmal hinzugefügt werden.

Fixpunktfreie Permutationen entstehen außerhalb der Vereinigungsmenge aller Ereignisse „Brief $i$ liegt richtig“.

Eine surjektive Zuordnung ist genau eine Zuordnung, bei der keine der beschrifteten Zielklassen fehlt.