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

∪M := { x | ∃ T ∈ M x ∈ T}

(sinnvoll für M = ∅, denn ∪∅=∅ )