Операции отношения
Типы операндов и результаты операций отношения приведены в Таблице 6.8.
Таблица 6.8 Операции отношения ----------T------------T------------------------T--------------- ¦ Операция¦ Действие ¦ Типы операндов ¦ Тип результата¦ +---------+------------+------------------------+---------------+ ¦ = ¦ Равно ¦ Совместимый простой, ¦ Булевский ¦ ¦ ¦ ¦ указатель, множествен- ¦ ¦ ¦ ¦ ¦ ный строковый или упа- ¦ ¦ ¦ ¦ ¦ кованный строковый ¦ ¦ +---------+------------+------------------------+---------------+ ¦ <> ¦ Не равно ¦ Совместимый простой, ¦ Булевский ¦ ¦ ¦ ¦ указатель, множествен- ¦ ¦ ¦ ¦ ¦ ный, строковый или упа-¦ ¦ ¦ ¦ ¦ кованный строковый ¦ ¦ +---------+------------+------------------------+---------------+ ¦ < ¦ Меньше чем ¦ Совместимый простой, ¦ Булевский ¦ ¦ ¦ ¦ указатель, множествен- ¦ ¦ ¦ ¦ ¦ ный, строковый или упа-¦ ¦ ¦ ¦ ¦ кованный строковый ¦ ¦ +---------+------------+------------------------+---------------+ ¦ > ¦ Больше чем ¦ Совместимый простой, ¦ Булевский ¦ ¦ ¦ ¦ указатель, множествен- ¦ ¦ ¦ ¦ ¦ ный строковый или упа- ¦ ¦ ¦ ¦ ¦ кованный строковый ¦ ¦ +---------+------------+------------------------+---------------+ ¦ <= ¦ Меньше ¦ Совместимый простой, ¦ Булевский ¦ ¦ ¦ или равно ¦ указатель, множествен- ¦ ¦ ¦ ¦ ¦ ный строковый или упа- ¦ ¦ ¦ ¦ ¦ кованный строковый ¦ ¦ +---------+------------+------------------------+---------------+ ¦ >= ¦ Больше ¦ Совместимый простой, ¦ Булевский ¦ ¦ ¦ или равно ¦ указатель, множествен- ¦ ¦ ¦ ¦ ¦ ный строковый или упа- ¦ ¦ ¦ ¦ ¦ кованный строковый ¦ ¦ +---------+------------+------------------------+---------------+ ¦ <= ¦Подмножество¦ Множества совместимых ¦ Булевский ¦ ¦ ¦ ¦ типов ¦ ¦ +---------+------------+------------------------+---------------+ ¦ >= ¦Надмножество¦ Множества совместимых ¦ Булевский ¦ ¦ ¦ ¦ типов ¦ ¦ +---------+------------+------------------------+---------------+ ¦ in ¦ Элемент ¦ Левый операнд: любой ¦ Булевский ¦ ¦ ¦ множества ¦ перечислимый тип t; ¦ ¦ ¦ ¦ ¦ правый: множество, ¦ ¦ ¦ ¦ ¦ совместимое с t. ¦ ¦ L---------+------------+------------------------+----------------
