"AllDisjointClasses" . . . . "The class of collections of pairwise disjoint classes." . . .