Una RELACIÓN consiste de dos operandos separados por un operador relacional. Si la relación es satisfecha, el resultado tendrá un valor booleano true; si la relación no se satisface, el resultado tendrá un valor false. Los operadores deben ser del mismo tipo, aunque los valores de tipo real, integer y byte pueden combinarse como operandos en las relaciones. A continuación se describen los operadores relacionales utilizados en Pascal:
| Símbolo | Significado |
| = | IGUAL que |
| <> | NO IGUAL que |
| < | MENOR que |
| > | MAYOR que |
| < = | MENOR o IGUAL que |
| >= | MAYOR o IGUAL que |
Ejemplos:
| Relación | Resultado |
| 20 = 11 | false |
| 15 < 20 | true |
| PI > 3.14 | true |
| ‘A’ < 20 | false |
| ‘A’ = 65 | true |