Navigation

number_space

A <number_space> is a <class_of_number> that is a continuum.
EXAMPLE The integers from 1 to 5 and the reals from 0.000 to 1.000 are examples of <number_space>.

EXPRESS specification:

ENTITY number_space
SUPERTYPE OF (ONEOF(number_range, multidimensional_number_space))
SUBTYPE OF ( class_of_number);
END_ENTITY;

References (6):

Name Type Referred through Express-G
boundary_of_number_space Entity
Attribute 'subclass'
Attribute 'superclass'
Diagram 5
class_of_number Entity
Subtype
Diagram 5
multidimensional_number_space Entity
Supertype
Diagram 5
number_range Entity
Supertype
Diagram 5
scale Entity
Attribute 'codomain'
Diagram 28

Inheritance graph

ENTITY number_space;
ENTITY thing;
id  :  STRING;
record_copy_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_creator  :  OPTIONAL possible_individual;
record_logically_deleted  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
why_deleted  :  OPTIONAL class_of_information_representation;
ENTITY abstract_object;
ENTITY class;
ENTITY class_of_abstract_object;
ENTITY class_of_class;
ENTITY class_of_number;
ENTITY number_space;
END_ENTITY;