Integer interval Application Object

An Integer_interval is a Maths_space that is the set of all integers defined by a lower bound, an upper bound or both.

EXPRESS specification:

*)
ENTITY Integer_interval
  ABSTRACT SUPERTYPE OF (ONEOF (
  Finite_integer_interval,
  Hibounded_integer_interval,
  Lobounded_integer_intervall))
  SUBTYPE OF (Maths_space);
END_ENTITY;
(*