ГОСТ Р ИСО/ТС 10303-1210— 2016
resultant: Class;
END_ENTITY;
Г
Определения атрибутов:
id — обезначемие отношения пересечения, представляемого экземпляром объекта Intersection:
name — слово или группа слов, которыми называется отношение пересечения, представляемое
экземпляром объекта Intersection;
description — текст, содержащий дополнительную информацию об отношении пересечения,
представляемом экземпляром объекта Intersection. Задавать значение этого атрибута не обязательно;
operand — набор экземпляров объекта Class, представляющих множества, результатом пере
сечения которых является множество, представленное экземпляром объекта, играющим роль атрибута
resultant;
resultant — экземпляр объекта Class, представляющий множество, каждый член которого являет
ся членом всех множеств, представленных объектами, являющимися элементами агрегатного атрибута
operand.
4.2.3 Объект Powor_set
Объект Power_set представляет такое отношение между:
- множеством S и
- множеством S’-
которое показывает, что множество S’ является множеством всех подмножеств множества S.
EXPRESS-специФикаиия:
*)
ENTITY Power_set;
id: STRING;
name: STRING;
description: OPTIONAL STRING;
base: Class;
derived: Class;
END_ENTITY;
c
Определения атрибутов:
id — обозначение отношения мощности множества, представляемого экземпляром объекта
Powor_set;
name — слово или группа слое, которыми называется отношение мощности множества, представ
ляемое экземпляром объекта Power_set;
description — текст, содержащий дополнительную информацию об отношении мощности множе
ства. представляемом экземпляром объекта Power_set. Задавать значение этого атрибута не обяза
тельно;
base — экземпляр объекта Class, представляющий множество, являющееся объединением мно
жества. представленного объектом, играющим роль атрибута derived.
dorived — экземпляр объекта Class, представляющий множество, являющееся множеством всех
подмножеств множества, представленного объектом, играющим роль атрибута base.
4.2.4 Объект Proper_subsot
Объект Proper_subset представляет такое отношение между
- множеством А и
- множеством В.
которое показывает, что:
- каждый член множества А является также членом множества В и
- множествоА не равно множеству В.
5