Es sei G{\displaystyle {}G} eine Menge und es seien Ai⊆G{\displaystyle {}A_{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
Dann ist