ГОСТ Р ИСО 10303-54—2011
description: текст, описывающий отношение, специфицируемое экземпляром объекта union
(объединение). Задаватьзначение этого атрибута не обязательно.
operand: множество множеств, объединением которых является множество, играющее роль
атрибута resultant.
resultant: множество, котороесостоитиз каждого изэлементов, являющихсяэлементами любого
из множеств, входящих в множество множеств, играющего рольатрибута operand.
5.3.8 Объект union_of_all_members
Объект union_of_all_members (объединение всех элементов) специфицирует такое отноше
ние между множеством Rи множествами S. при котором каждый изэлементов множества Sявляется
элементом такого множества R. которое содержит каждый элемент, являющийся элементом мно
жества S.
Пример— Рассмотрим класс, который является диапазоном температур от 10 до 20 “С. Такое зна
чение температуры как 15
*С
является элементом этого диапазона.
Температура 15 ‘С является элементом класса диапазона температур от 10 “С do 20 “С.
Класс, состоящий из всех объектов, имеющих термодинамическую энергию в диапазоне от 15 “С
до 20 ‘С. является объединением всех объектов температурного диапазона от 10 “С до 20 “С.
П р и м е ч а н и е — Обьект unlon_of_all_members эквивалентен объекту union и используется в тех случа
ях. когда множество, играющее роль атрибута operand, имеет большое или неограниченное количество элементов.
EXPRESS-спецификация:
*>
ENTITY union_of_all_members;
id: identifier,
name:label;
description: OPTIONALtext;
operand: class;
resultant: class;
WHERE
resultant_different: NOT identical_sets(operand. resultant);
END_ENTITY;
r
Определения атрибутов:
id: идентификатор отношения, специфицируемого экземпляром объекта union_of_all_members
(объединение всехэлементов).
пате: наименование отношения, специфицируемого экземпляром объекта union_of_all_
members (объединение всехэлементов).
description: текст, описывающийотношение, специфицируемоеэкземпляромобъекта union_of_
al!_members (объединение всехэлементов). Задавать значение этогоатрибута необязательно.
operand: множество множеств, объединением которых является множество, играющее роль
атрибута resultant.
resultant: множество, котороесостоитиз каждого изэлементов, являющихсяэлементами любого
из множеств, входящих в множество множеств, играющегорольатрибута operand.
Формальные положения.
Класс, который являетсяобъединением множествадругих классов, недолжен бытьравен множес
тву этих классов.
5.4 Определения функций схемы set_theory_schema
5.4.1 Функция identical_sets
Функция identical_sets (равенство множеств) проверяет, равны лидва экземпляра объекта class
(класс). Равенствоможет бытьзаданонепосредственноили спомощью последовательностиодного или
более экземпляров объектов same_membership (одни и те же элементы).
11