ГОСТ Р 56271-2014
полнейшем двух других классов.
RelativeComplementOf2Classes(a. b. с) означает, что с — это относительное дополнение а и Ъ.
н>Название роли
1 Класс 1
2Класс 2
Типволи
Class
Class
3Относительное дополнение классовClass
RelativeComplemontOf2Classes(xv х2, х3)*-*
Class(x,)A
Class(x2)A
Class(x,)A
2y{DifferenceOf2Classes(x,, x2, у)л
ln(ersectionOf2Classes(xy. у. x3))
При м е ча н и е - Относительное дополнение двух классов а и Ь обычно обозначается как алб. См. 7.3,
дальнейшую информацию о представлении, используемом в настоящем шаблоне.
П р и м е р — Нижеследующая диаграмма показывает расширение RelativeComplementOf2Classes(a,
b, а\Ь). Примечание: обозначения элементов {a,b}. (a-b)n(a b) и {a, (аиЬ)п(аЫз)} включены, чтобы сде
лать диаграмму более читабельной. В определение расширения они не включены.
Рисунок 33 — Пример шаблона RelativeComp!ementOf2Classes
7.5.12 Шаблон DisjointnessOf2Classes (непересекаемость двух классов)
Настоящий шаблон указывает, что два класса не имеют общих членов (не пересекаются).
DisjointnessOf2Classes(x.y) означает, что пересечение х и у пусто.
ИзНазвание роли
1 Класс 1
2Класс 2
Тип роли
Class
Class
DisjointnessOf2Classos(xv х2)«-
Class(x,)A
Class(x2)A
lntersectionOf2Classes(xv х2. EmptyClass)
34