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