Na verdade, ≡ teria no mínimo o número de pares equivalentes. Quanto mais pares, dentro do mesmo conjunto, as classes de equivalência vão ficando maiores, ou seja, passamos a ter menos classes.
Cada classe de equivalência pode possuir de 1 a N elementos (N = total do conjunto) que são equivalentes entre si.