AllDisjointClasses

The class of collections of pairwise disjoint classes.

AllDisjointClasses

The class of collections of pairwise disjoint classes.