ГОСТ Р ИСО/ТС 10303-1210— 2016
4.2.6 Объект Subset
Объект Subset представляет такое отношение между:
- множеством А и
- и множеством В.
которое показывает, что каждый член множества А является также членом множества В.
П р и м е ч а ни е — Множество А может быть равно множеству В.
EXPRESS-спеииФикаиия:
*)
ENTITY Subset;
id: STRING:
name: STRING:
descnption: OPTIONAL STRING:
subset: Class:
superset: Class: END_ENTITY;
Определения атрибутов:
id — обозначение отношения подмножества, представляемого экземпляром объекта Subset:
name — слово или группа слов, которыми называется отношение подмножества, представляемое
экземпляром объекта Subset;
description — текст, содержащий дополнительную информацию об отношении подмножества,
представляемом экземпляром объекта Subset. Задавать значение этого атрибута не обязательно:
subset — экземпляр объекта Class, представляющий множество, содержащее только члены мно
жества. представленного экземпляром объекта, играющим роль атрибута superset.
superset — экземпляр объекта Class, представляющий множество, содержащее все члены мно
жества. представленного экземпляром объекта, играющим роль атрибута subsot.
4.2.7 Объект Union
Объект Union представляет такое отношение между:
- множеством R и
- множеством множеств {SJ,
которое показывает, что множество R состоит из всех членов множеств, входящих в множество мно
жеств
{S}
.
EXPRESS-спеииФикаиия:
*)
ENTITY Union;
id: STRING:
name: STRING;
description. OPTIONAL STRING;
operand: SET[2:?] OF Class;
r
resultant: Class; END_ENTITY;
Определения атрибутов:
id — обозначение отношения объединения, представляемого экземпляром объекта Union;
name — слово или группа слов, которыми называется отношение объединения, представляемое
экземпляром объекта Union:
description — текст, содержащий дополнительную информацию об отношении объединения,
представляемом экземпляром объекта Union. Задавать значение этого атрибута не обязательно;
7