Операции над множествами
Типы операндов для операций над множествами показаны в Таб- лице 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.
