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