Components of property space Application Object

A Components_of_property_space is a Components_of_physical_space between:

• a composite Property_space that is a 'product' (i.e. '´') of component instances of Property_space; and
• a list of instances of Property_space that are the components.

There is no physical significance to the specified sequence of the components for a compound Property_space.

If an Independent_property_definition that is a member of a compound Property_space is described by a tuple of numbers, then the sequence of the numbers in the tuple shall correspond to the sequence of the components of the Property_space.

NOTE - The dimension of a 'product' Property_space is the sum of the dimensions of its components.

EXAMPLE - The relationship between:

• the composite Property_space that is the (pressure, temperature, density) triple; and
• the three component instances of Property_space that are pressure, temperature and density,

that indicates the composite Property_space is formed from the components, is a Components_of_property_space.

EXPRESS specification:

*)
ENTITY Components_of_property_space
  SUBTYPE OF (Components_of_physical_space);
  SELF\Components_of_physical_space.components  :  
    LIST[2,?] OF Property_space;
  SELF\Components_of_physical_space.whole  :  
    Property_space;
END_ENTITY;
(*

Attribute definitions:

components : the instances of Property_space that are components of the whole.

whole : the Property_space that has the components.