En el conjunto de los tipos
ordinales se incluyen:
●
Tipo de dato entero,
●
Tipo de dato caracter,
●
Tipo de dato lógico (booleano),
●
Tipo de dato enumerado y
●
Tipo de dato subrango Un tipo
ordinal define un conjunto ordenado de valores en los cuales cada valor, excepto el primero, tienen un
único predecesor y cada valor, excepto el ultimo, tienen un
único sucesor. Más aún, cada valor tiene una ordinalidad, la cual determina el orden del tipo.
Para los tipos entero la ordinalidad de un valor es el valor por sí mismo; para todo el resto de los tipos
ordinales, excepto los subrangos, el primer valor tiene ordinalidad 0 (cero), el siguiente valor tiene ordinalidad 1 (uno) y así sucesivamente. Si un valor tiene ordinalidad
n, su predecesor tiene ordinalidad
n-1 y su sucesor tiene ordinalidad
n+1.