Se llama orden al número de clases que genera una relación de equivalencia; si éste es finito, se dice que la relación es de orden finito.