Read First: Object Type Partition A partition that allows the generalized type (the one it is partitioning) to have objects that are not objects of the types in the partition. For example, the type Vehicle may be incompletely partitioned into Car and Truck. The partition is incomplete because a boat would be an object of a vehicle, but not a car or truck. Disjointness always applies, even for incomplete partitions, so no object could be both a car and a truck, and Car and Truck can have no common specializations. See comments at Complete Partition. Read First: Object Type Partition
Subtypes: None