ГОСТ Р ИСО 10303-54—2011
EXPRESS-спецификаиия:
*)
ENTITY class_by_intension
SUBTYPE OF (class);
END_TYPE:
Г
4.4.4 Объект classification
Объект classification (классификация) — это подтип объекта classification_assignment. исполь
зуемый для задания такого отношения между множеством S и предметом х. которое показывает, что
предметх является элементом множества S.
П р и м е ч а н и е — По смыслу этот объект идентичен объекту classification, специфицированному в
ИСО 15926-2 (2).
EXPRESS-спецификация;
*>
ENTITY classification
SUBTYPE OF (classification_assignment);
classified:ciassification_select:
DERIVE
classifier: class := SELF\cJassification_assignment.assigned_class;
END_TYPE;
r
Определения атрибутов:
classified: элемент класса, играющего рольатрибута classifier.
classifier: класс, элементом которого является предмет, играющий роль атрибута classified.
4.4.5 Объект complete_membership
Объект complete_membership (полное членство) — это подтип объекта classification_
assignment, отображающий такое отношение между множеством S и перечисленными предметами
которое определяет, что S содержит каждый из предметов х,иничего более.
EXPRESS-спецификаиия:
*>
ENTITYcomplete_membership
SUBTYPE OF (classification_assignment);
DERIVE
containing_set:class :=
SELRclassification assignment.assigned_c!ass;
END_TYPE;
r
Определение атрибута:
containing_set: класс, который содержит члены и ничего более.
4.4.6 Объект complete_membership_of_empty_set
Объект complete_membership_of_empty_set (полное членство пустого множества) — это такой
подтип объекта complete_mombership, для которого множество, играющее роль атрибута
containing_set. является пустым.
EXPRESS-спецификаиия:
*)
ENTITY complete_membership_of_empty_set
SUBTYPE OF (complete_membership);
END_TYPE;
Г
5