. "The property that determines that a given class is equivalent to the disjoint union of a collection of other classes." . . . . "disjointUnionOf" . .