∀C'⊆C:⋂C'∈C