Отношения
| = | равно |
| # | не равно |
| < | меньше |
| <= | меньшее или равно |
| > | больше |
| >= | больше или равно |
| IN | принадлежность множеству |
| IS | проверка типа |
Отношения дают результат типа BOOLEAN. Отношения =, #, <, <=, >, и >= применимы к числовым типам, типу CHAR, строкам и символьным массивам, содержащим в конце 0X. Отношения = и # кроме того применимы к типам BOOLEAN и SET, а также к указателям и процедурным типам (включая значение NIL). x IN s означает "x является элементом s". x должен быть целого типа, а s - типа SET. v IS T означает "динамический тип v есть T (или расширение T)" и называется проверкой типа. Проверка типа применима, если
Примеры выражений (со ссылками на примеры из Гл. 7):
| 1991 | INTEGER |
| i DIV 3 | INTEGER |
| ~p OR q | BOOLEAN |
| (i+j) * (i-j) | INTEGER |
| s - {8, 9, 13} | SET |
| i + x | REAL |
| a[i+j] * a[i-j] | REAL |
| (0<=i) & (i<100) | BOOLEAN |
| t.key = 0 | BOOLEAN |
| k IN {i..j-1} | BOOLEAN |
| w[i].name <= "John" | BOOLEAN |
| t IS CenterTree | BOOLEAN |