extensional feature
Extensional features of an object type are the features that describe the class of object instances, which belong to the object type. Globally, extensional features are defined as extents. Locally, i.e. within a complex data types, extensional features are defined by properties.
Specialisations: set relation