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