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

                            Операции над множествами          Таблица 6.7
        ┌───────────────┬─────────────┬─────────────────────────────────┐
        │    Операция   │  Действие   │              Типы операндов     │
        ├───────────────┼─────────────┼─────────────────────────────────┤
        │       +       │ Объединение │ Множества с совместимыми типами │
        │       -       │  Разность   │ Множества с совместимыми типами │
        │       *       │ Пересечение │ Множества с совместимыми типами │
        └───────────────┴─────────────┴─────────────────────────────────┘

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

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

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

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

             Если наименьшим порядковым значением,  которое является чле-
        ном результата операций над множествами, является a, а наибольшим
        - b, то типом результата будет множество a..b.