Es sei G{\displaystyle {}G} eine Menge und es seien Mi⊆G{\displaystyle {}M_{i}\subseteq G}, i=1,…,n{\displaystyle {}i=1,\ldots ,n}, endliche Teilmengen. Für eine Teilmenge J⊆{1,…,n}{\displaystyle {}J\subseteq \{1,\ldots ,n\}} sei
Beweise die Anzahlformel