The class of collections of pairwise disjoint classes.