The class of collections of pairwise different individuals.
The class of collections of pairwise disjoint classes.
The class of collections of pairwise disjoint properties.
