Simbolizaremos por formula_40 al conjunto formado por todas las clases de equivalencia módulo formula_28 y diremos que sus elementos son los \textit{enteros módulo formula_28}.