∪∩⊂O