Intension, Extension, and Type Hierarchies

Intension versus extension

The intension of an object type is given by the set of its features, this includes attributes, associations, constraints, and operations. The extension of an object type is the set of all objects that instantiate the object type. The extension of an object type is also called its population.

All features of a supertype ...