 An additional very powerful principle should be expected to hold in a topological model: for any class \(C\) whatsoever (any collection of sets), the intersection of all sets which include \(C\) as a subclass should be a set. Every class has a set closure.