Simbolizaremos por codice_1 el conjunto formado por todas las clases de equivalencia módulo "m" y diremos que sus elementos son los " Enteros módulo m".