Navigation

boundary_of_number_space

A <boundary_of_number_space> is a <specialization> that indicates that a <number_space> is a boundary to another <number_space>.
EXAMPLE The side of a cube in R3 is a <number_space> that is a plane in R3 and that is a boundary to the <number_space> that is a cube in R3.

EXPRESS specification:

ENTITY boundary_of_number_space
SUBTYPE OF ( specialization);
SELF\specialization.subclass  :  number_space;
SELF\specialization.superclass  :  number_space;
END_ENTITY;

References (1):

Name Type Referred through Express-G
specialization Entity
Subtype
Diagram 2

Inheritance graph

ENTITY boundary_of_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 relationship;
ENTITY specialization;
ENTITY boundary_of_number_space;
subclass  :  number_space;
superclass  :  number_space;
END_ENTITY;