∀C1,C2∈C:C1∪C2∈C