Операции отношений возможны для сравнимых величин, т.е. для однотипных простых данных и для некоторых составных данных (строк, множеств), для которых эти операции определены специальным образом. Любые однотипные данные можно сравнивать на тождественность ("равно", "не равно"), упорядоченные типы можно также сравнивать на относительное расположение ("меньше", "больше").
В качестве знаков операций отношений в Турбо Паскале используются:
= - равно;
<> - не равно;
<- меньше;
<= - меньше или равно;
>- больше;
>= - больше или равно.
Особенностью операций отношений является то, что результат всегда логического типа, независимо от сравниваемых операндов. Причем, в качестве операндов могут выступать и выражения:
2.1*sin(X)-0.5 >= Y+ZилиJ < N-1
Отметим, что в Турбо Паскале логический тип - частный случай перечисляемого типа со значениями False и True, поэтому эти значения - упорядочены, и можно написать, что False < True. Аналогично, упорядоченными являются символьные данные, и можно утверждать, что
'А' < 'Б' -> True; '1' < 'A' -> True; 'a' < 'A' -> False.
В качестве составной части, отношения могут входить в сложные логические выражения, например (при NoError и EndArray - логического типа):
((J < N-1) or (X>=1.0)) and NoError and not EndArray;
