The class of collections of pairwise disjoint properties.