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