Maths space Application Object

A Maths_space is a Class that is a finite or infinite set of mathematical values.

A Maths_space is also a Maths_value because it may be a member of a set of instances of Maths_space.

NOTE - For efficiency Maths_value is a TYPE rather than and ENTITY in the EXPRESS. Hence Maths_space is referenced by Maths_value rather than a SUBTYPE of Maths_value.

EXPRESS specification:

*)
ENTITY Maths_space
  SUPERTYPE OF (ONEOF (
  Elementary_space,
  Integer_interval,
  Real_interval,
  Finite_space,
  Tuple_space))
  SUBTYPE OF (Class);
END_ENTITY;
(*