Aus der lineare Algebra ist die Formel
für Untervektorräume U 1 , U 2 ⊆ V {\displaystyle {}U_{1},U_{2}\subseteq V} bekannt, siehe Fakt, die an die Siebformel für zwei Mengen erinnert. Gilt für Untervektorräume U 1 , U 2 , … , U n ⊆ V {\displaystyle {}U_{1},U_{2},\ldots ,U_{n}\subseteq V} die entsprechende Formel
wobei U J = ⋂ j ∈ J U j {\displaystyle {}U_{J}=\bigcap _{j\in J}U_{j}} ?