∀C1,C2∈𝒞:C1∪C2∈𝒞