∀C'⊆𝒞:⋂C'∈𝒞