ГОСТ Р ИСО/ТС 10303-1210— 2016
EXPRESS-слециФикация:
*)
ENTITY Proper_subset:
id: STRING;
name: STRING;
description: OPTIONAL STRING;
subset: Class;
superset: Class:
END_ENTITY;
r
Определения атрибутов:
id — обозначение отношения строгого подмножества, представляемого экземпляром объекта
Proper_subset.
name — слово или группа слов, которыми называется отношение строгого подмножества, пред
ставляемое экземпляром объекта Proper_subset;
description — текст, содержащий дополнительную информацию об отношении строгого подмно
жества. представляемого экземпляром объекта Proper_subset. Задавать значение этого атрибута не
обязательно:
subset — экземпляр объекта Class, представляющий множество, содержащее только члены мно
жества, представленного экземпляром объекта, играющим роль атрибута superset:
superset — экземпляр объекта Class, представляющий множество, содержащее все члены мно
жества. представленного экземпляром объекта, играющим роль атрибута subset.
4.2.5 Объект Same_memborship
Объект Same_memborship представляет такое отношение между
- множеством А и
- множеством В.
которое показывает, что множества состоят из одних и тех же членов, т. е. множества равны.
EXPRESS-слециФикация:
ENTITY Same_membership:
id: STRING;
name: STRING;
description: OPTIONAL STRING;
set_1: Class;
set_2: Class;
END_ENTITY;
(*
Определения атрибутов:
id — обозначение отношения, представляемого экземпляром объекта Same_ membership;
name — слово или группа слов, которыми называется отношение, представляемое экземпляром
объекта Same_membership;
description — текст, содержащий дополнительную информацию об отношении, представляемом
экземпляром объекта Samo_mombership. Задавать значение этого атрибута не обязательно:
sot_1 — экземпляр объекта Class, представляющий множество, содержащее те же члены, что и
множество, представленное экземпляром объекта, играющим роль атрибута set_2;
set_2 — экземпляр объекта Class, представляющий множество, содержащее те же члены, что и
множество, представленное экземпляром объекта, играющим роль атрибута set_1.
6