La idea básica es abstraer la construcción de los Enteros módulo m a partir de los Enteros y la relación de congruencia correspondiente.