ГОСТ Р ИСО 10303-54—2011
base: class;
derived:class;
WHERE
derived_different: NOTidentical_sets(base. derived);
END_ENTITY;
Г
Определения атрибутов:
id: идентификатор отношения, специфицируемого экземпляром объекта power_set (мощность
множества).
name: наименование отношения, специфицируемого экземпляром объекта power_set (мощ
ность множества).
description: текст,описывающий отношение,специфицируемое экземпляромобъекта
power_set (мощность множества). Задаватьзначение этогоатрибута необязательно.
base: множество, мощность которогоиграет рольатрибута derived.
П р и м е ч а н и е — Множество, играющее роль атрибута base, является объединением множества, играю
щего роль атрибута derived.
derived: множество всех подмножеств множества, играющего роль атрибута base.
Формальные положения.
Для класса не можетбытьявнозадано, что он идентиченклассу, для которогоон являетсямощнос
тью класса.
5.3.4 Объект proper_subset
Объект propor_subsot (строгое подмножество) специфицирует такое отношение между мно
жествами А и В. при котором каждый элемент множества А является также элементом множества В и
множествоА не равно множеству В.
EXPRESS-специФикаиия:
*>
ENTITY proper_subset;
SUBTYPE OF (subset);
WHERE
subset_different: NOTidentical_sets(superset, subset);
END_ENTITY;
Г
Формальные положения:
Класс, который является строгим подмножеством, не может быть равен своему надмножеству.
5.3.5 Объект same_membership
Объект same_membership (одни ите же элементы) специфицирует такое отношение между мно
жеством S1 и множеством S2. при котором множества состоят из одних и тех же элементов. Следова
тельно. S1 и S2 — этоодно ито же множество.
EXPRESS-специФикаиия:
*)
ENTITY same_membership,
id: identifier;
name:label;
description: OPTIONALtext;
set_1:class;
set_2:class;
END_ENTITY;
Г
9