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