Por lo tanto, el conjunto de las clases de congruencia queda provisto de una ley de multiplicación, que cumple los axiomas de grupo.