Where used: Partition Model

Incomplete Partition

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


Attributes: None

Operations: None