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

Типы операндов для операций над множествами показаны в Таб-

лице 6.7.

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

----------------T-------------T---------------------------------

¦ Операция ¦ Действие ¦ Типы операндов ¦

+---------------+-------------+---------------------------------+

¦ + ¦ Объединение ¦ Множества с совместимыми типами ¦

¦ - ¦ Разность ¦ Множества с совместимыми типами ¦

¦ * ¦ Пересечение ¦ Множества с совместимыми типами ¦

L---------------+-------------+----------------------------------

Результаты операций соответствуют правилам логики работы с

множествами:

1. Порядковое значение c содержится в a+b только тогда,

когда оно содержится в a или в b.

2. Порядковое значение c содержится в a-b только тогда,

когда оно содержится в a и не содержится в b.

3. Порядковое значение c содержится в a*b только тогда,

когда он содержится в обоих множествах a и b.

Если наименьшим порядковым значением, которое является чле-

ном результата операций над множествами, является a, а наибольшим

- b, то типом результата будет множество a..b.

Операции отношения

Типы операндов и результаты операций отношения приведены в

Таблице 6.8.

Таблица 6.8 Операции отношения

----------T------------T------------------------T---------------

¦ Операция¦ Действие ¦ Типы операндов ¦ Тип результата¦

+---------+------------+------------------------+---------------+

¦ = ¦ Равно ¦ Совместимый простой, ¦ Булевский ¦

¦ ¦ ¦ указатель, множествен- ¦ ¦

¦ ¦ ¦ ный строковый или упа- ¦ ¦

¦ ¦ ¦ кованный строковый ¦ ¦

+---------+------------+------------------------+---------------+

¦ <> ¦ Не равно ¦ Совместимый простой, ¦ Булевский ¦

¦ ¦ ¦ указатель, множествен- ¦ ¦

¦ ¦ ¦ ный, строковый или упа-¦ ¦

¦ ¦ ¦ кованный строковый ¦ ¦

+---------+------------+------------------------+---------------+

¦ < ¦ Меньше чем ¦ Совместимый простой, ¦ Булевский ¦

¦ ¦ ¦ указатель, множествен- ¦ ¦

¦ ¦ ¦ ный, строковый или упа-¦ ¦

¦ ¦ ¦ кованный строковый ¦ ¦

+---------+------------+------------------------+---------------+

¦ > ¦ Больше чем ¦ Совместимый простой, ¦ Булевский ¦

¦ ¦ ¦ указатель, множествен- ¦ ¦

¦ ¦ ¦ ный строковый или упа- ¦ ¦

¦ ¦ ¦ кованный строковый ¦ ¦

+---------+------------+------------------------+---------------+

¦ <= ¦ Меньше ¦ Совместимый простой, ¦ Булевский ¦

¦ ¦ или равно ¦ указатель, множествен- ¦ ¦

¦ ¦ ¦ ный строковый или упа- ¦ ¦

¦ ¦ ¦ кованный строковый ¦ ¦

+---------+------------+------------------------+---------------+

¦ >= ¦ Больше ¦ Совместимый простой, ¦ Булевский ¦

¦ ¦ или равно ¦ указатель, множествен- ¦ ¦

¦ ¦ ¦ ный строковый или упа- ¦ ¦

¦ ¦ ¦ кованный строковый ¦ ¦

+---------+------------+------------------------+---------------+

¦ <= ¦Подмножество¦ Множества совместимых ¦ Булевский ¦

¦ ¦ ¦ типов ¦ ¦

+---------+------------+------------------------+---------------+

¦ >= ¦Надмножество¦ Множества совместимых ¦ Булевский ¦

¦ ¦ ¦ типов ¦ ¦

+---------+------------+------------------------+---------------+

¦ in ¦ Элемент ¦ Левый операнд: любой ¦ Булевский ¦

¦ ¦ множества ¦ перечислимый тип t; ¦ ¦

¦ ¦ ¦ правый: множество, ¦ ¦

¦ ¦ ¦ совместимое с t. ¦ ¦

L---------+------------+------------------------+----------------