ГОСТРИСО 15926-2 2010
Спецификация на языке EXPRESS:
")
ENTITY arithmetic_number
SUPEKTYPE OF (ONECF<real_numberf integer_number,
multidimensional_number))
SUBTYPE OF(class_of_class);
END_ENTITY;
C
5.2.5.2 Boundary ofnumberspace (граница числового пространства)
Сущность boundary of number spaceестьсущностьspecialization, указывающая на то, что сущ
ность number space является границей другого числового пространства.
Спецификация на языке EXPRESS:
*)
ENTITY boundary_of_number_space
SUBTYPE OF(specialization);
SELF\specialization.subclass: number space;
SELF\specialization.superclass:number_space;
END_ENTITY;
C
5.2.5.3 Class of number (класс числа)
Класс class .of .number есть класс class of class, члены которого являются членами сущности
arithmetic number.
П
р
и
м
е
р
—
К
л
ас
е
п
рост
ых
чи
с
е
л
мож
е
т б
ы
ть
п
р
е
дстав
л
е
н
э
к
з
е
м
пля
рам
к
л
ассаda
x
s
o
f
num
b
e
r
.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_number
SUPERTYPE 01 (ONEOF(number_space, enumerated_number_set))
SUBTYPE 0F<class_of_clas3);
END_ENTITY;
(*
5.2.5.4 Enumerated number set (перечислимое числовое множество)
Сущностьenumerated number set есть класс class of number и сущностьenumerated set of class.
Спецификация на языке EXPRESS:
*)
ENTITY enumerated_number_3et
SUBTYPE OF<class_of_number, enumerated_set_of_class);
END_ENTITY;
(*
5.2.5.5 Integer number (целое число)
Сущность integer numberесть сущность arithmetic number, являющаяся целым числом.
120