∀O1,O2∈O:O1∩O2∈O