nicht-leeres Mengen-system \({\mathcal{M}}\subseteq{\mathcal{P}}(\Omega)\) in Ω mit der Eigenschaft, daß für jede isotone bzw. antitone Folge (M_n|n ∈ ℕ) ⊆ \({\mathcal{M}}\) auch ⋃_n∈ℕM_n bzw. ⋂_n∈ℕM_n in \({\mathcal{M}}\) liegt.