Операторы множеств
Объявление
Оператор | Операция | Тип операндов |
+ | Объединение | Совместимые типы наборов |
- | Различие | Совместимые типы наборов |
* | Пересечение | Совместимые типы наборов< |
Замечания
Результаты операций с наборами соответствуют правилам логики наборов:
- Порядковое значение C находится в наборе A + B только в том случае, если C находится в A или B.
- Порядковое значение C находится в наборе A - B только в том случае, если C находится в A и не находится в B.
- Порядковое значение C находится в наборе A * B только в том случае, если C находится и в A, и в B.
Если самое маленькое порядковое значение, являющееся элементом результата операции с набором есть A, а самое большое есть B, то тип результата становится равным A..B.