Переменные и константы множественного типа описываются в соответствии с общими правилами.
Рассмотрим операции, определённые для множественных типов. Представим эти операции в следующей таблице (далее A – это левый операнд операции, а B – правый).
Знак опера-ции. | Знак соответ-ствующей матема-тической операции. | Типы операндов. | Результат. | |
Запись соответ-ствующего выражения. | Значение результата. | |||
* | ∩ | Множества, базовые типы которых соответствуют друг другу. | A * B | A ∩ B |
+ | È | Множества, базовые типы которых соответствуют друг другу. | A + B | A È B |
- | \ | Множества, базовые типы которых соответствуют друг другу. | A - B | A \ B |
= | = | Множества, базовые типы которых соответствуют друг другу. | A = B | A = B |
<> | ≠ | Множества, базовые типы которых соответствуют друг другу. | A <> B | A ≠ B |
<= | Ì | Множества, базовые типы которых соответствуют друг другу. | A <= B | A Ì B |
>= | Множества, базовые типы которых соответствуют друг другу. | A >= B | A B | |
IN | Î | B – множественного типа, A – типа, соответствующего базовому типу для B. | A IN B | A Î B |