Größe als Schubfach

Eine Teilmenge einer $n$-Menge hat Größe 0, 1, ..., $n$.

Komplementieren zerlegt $2^n$ Teilmengen in $2^{n-1}$ disjunkte Paare.

Die Abbildung $A\mapsto A\triangle\{x\}$ paart Mengen, die sich genau in $x$ unterscheiden.