∀O'⊆𝒪:⋃O'∈𝒪