Element of scale Application Object

An Element_of_scale is a Classification that is between a Scale and a Scale_element, and that indicates the Scale_element is a member of the Scale.

EXPRESS specification:

*)
ENTITY Element_of_scale
  SUBTYPE OF (Classification);
  class  :  Scale;
  member  :  Scale_element;
END_ENTITY;
(*

Attribute definitions:

class : the Scale that contains the member.

member : the Scale_element that is a members of the class.