Операторы множеств

Объявление

ОператорОперацияТип операндов
+ ОбъединениеСовместимые типы наборов
-РазличиеСовместимые типы наборов
*ПересечениеСовместимые типы наборов<

Замечания

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

  • Порядковое значение C находится в наборе A + B только в том случае, если C находится в A или B.
  • Порядковое значение C находится в наборе A - B только в том случае, если C находится в A и не находится в B.
  • Порядковое значение C находится в наборе A * B только в том случае, если C находится и в A, и в B.

Если самое маленькое порядковое значение, являющееся элементом результата операции с набором есть A, а самое большое есть B, то тип результата становится равным A..B.