Elementary space Application Object

An Elementary_space is a Maths_space that is one of the standard instances of Maths_space defined this part of ISO 10303.

The instances of Maths_space specified by this part of ISO 10303 are shown in Table 1.

Table 1: Standard instances of Maths_space

code	name	definition
MS001	Boolean	the space of Boolean values, i.e true and false
MS002	complex	the space of complex numbers
MS003	real	the space of real numbers
MS004	integer	the space of integer numbers

These standard instances of class are identified using the methodology of IEC 61360, where:

the code is as specified in Table 1;
the supplier is this part of ISO 10303.

EXPRESS specification:

*)
ENTITY Elementary_space
  SUBTYPE OF (Maths_space);
  code  :  STRING;
  supplier  :  STRING;
UNIQUE
  single_instance_of_class :  code, supplier; 
WHERE
  valid_standard_class :
    IF (supplier = 'ISO/PDTS 10303-1091') THEN
        code IN ['MS001', 'MS002', 'MS003', 'MS004'];
    ELSE
      TRUE;
    END_IF;
END_ENTITY;
(*

Attribute definitions:

code: the text string that identifies the Maths_space.

supplier: the text string that identifies the supplier of theMaths_space.

Formal proposition:

single_instance_of_class: There shall not be more than one instance of Maths_space with the same meaning.

valid_standard_class: If the supplier is 'ISO/PDTS 10303-1091', then the code shall be one those listed in Table 1.