"The class of collections of pairwise disjoint properties." . . . "AllDisjointProperties" . . . . .