sei M eine Menge, deren Elemente selbst wieder Mengen sind. es gelte M ≠ ∅

∩M := { x | ∀ T ∈ M x ∈ T}

(sinnlos für M = ∅ )