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