Property space as property definition Application Object

An Property_space_as_property_definition is a Fusion that is between an Independent_property_definition and a Property_space and that indicates the Independent_property_definition is the whole membership of the Property_space viewed as a single item.

EXPRESS specification:

*)
ENTITY Property_space_as_property_definition
  SUBTYPE OF (Fusion);
  class  :  Property_space;
  whole  :  Independent_property_definition;
END_ENTITY;
(*

Attribute definitions:

class : the Property_space that has a membership comprising the whole.

whole : the Independent_property_definition that can be decomposed into the members of the class.