2015-08-21
300
Переменные и константы множественного типа описываются в соответствии с общими правилами.
Рассмотрим операции, определённые для множественных типов. Представим эти операции в следующей таблице (далее 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 |
