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