∀O1,O2∈𝒪:O1∩O2∈𝒪