Me dejo confundido este ejercicio.
Tenia entendido que el resto cumple lo siguiente: dividendo = divisor * cociente + resto.
Entonces, como teniamos A definido como el conjunto de Enteros, tenemos que considerar elementos negativos, por ejemplo a = (-2), tal que a^3 es -8. ¿No deberia ser igual a -1 el resto de dividir entre 7 para que se cumpla la definicion y por consiguiente tener mas de 3 clases de equivalencia?
Gracias de antemano.