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