Es sei G {\displaystyle {}G} eine Menge und es seien M i ⊆ 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