Операции над множествами

   
На этом шаге мы перечислим основные операции над множествами.

   
Операции над множествами выполняются по правилам теории ожеств.

   
Результатом операции объединения двух множеств А + В будет множество С, включающее как все элементы множества
А, так и все элементы множества В.

   
Результатом операции разности двух множеств А - В будет множество С, состоящее только из тех элементов множества
А, которые не входят в множество В.

   
Результатом операции пересечения двух множеств А * В будет множество С, состоящее только из тех элементов, которые принадлежат
как множеству А, так и множеству В.

   
Если наименьшее порядковое значение, которое является результатом операции над множествами это X, а наибольшее Y, то типом результата
будет set of X..Y.

   
Результатом операции сравнения А = В будет True, а операции А <> В будет False, только тогда, когда А и В содержат одни и те же элементы.

   
Результатом операции сравнения А <= В будет True, если множество А является подмножеством множества В.

   
Результатом операции сравнения А >= В будет True, если множество А включает в себя все элементы множества В.

   
Результатом операции принадлежности X in А будет True, если значение X какого-либо порядкового типа Т является элементом множества А того же типа Т.

   
Примеры:

Таблица 1. Примеры выполнения операций

ВыражениеРезультат
[1,2,3,4] + [3,4,5,6][1,2,3,4,5,6]
[1,2,3,4] - [3,4,5,6][1,2]
[1,2,3,4] * [3,4,5,6][3,4]
[1,2,3] = [1,2,3,4]False
[1,2,3] <> [1,2,3,4]True
[1,2,3] <= [1,2,3,4]True
[1,2,3] >= [2,3,4]False
4 in [3,4,5,6]True

   
Допустимые типы операндов при выполнении операций над множествами и типы получаемых результатов приведены в следующей таблице:

Таблица 2. Операции над множествами

ОперацияДействиеТипы операндовТип результата
+ОбъединениеСовместимые типы множествМножество
-Разность
*Пересечение
=РавенствоБулевский
<>Неравенство
<=Является надмножеством
>=Является подмножеством
inПринадлежностьЛевый операнд: любой совместимый тип T.Правый операнд: множество типа T.

   
На следующем шаге мы рассмотрим операцию взятия адреса.



Вы можете оставить комментарий, или Трекбэк с вашего сайта.

Оставить комментарий