Parameterisation Application Object

A Parameterisation is a Mapping that is between a Physical_space and a Maths_space, and that indicates:

• each member of the Maths_space corresponds to exactly one member of the Physical_space;
• each member of the Physical_space corresponds to one or more members of the Maths_space.

A Parameterisation specifies how instances of Maths_value within the Maths_space identify physical things within the Physical_space.

NOTE - In most cases, each member of the Physical_space corresponds to exactly one member of the Maths_space. However, consider the set of planes normal to the axis of a hoop, which can be mapped to the set of reals between 0 and 1. There is one plane in this set which is identified by both 0 and 1.

EXPRESS specification:

*)
ENTITY Parameterisation
  SUBTYPE OF (Mapping);
  identifier  :  Maths_space;
  physical_space  :  Physical_space;
END_ENTITY;
(*

Attribute definitions:

identifier: the Maths_space that has each member corresponding to a member of the physical_space.

physical_space: the Physical_space that has each member corresponding to one or more members of the identifier.