∀O'⊆O:⋃O'∈O