Congruencia es un término usado en la teoría de números, para designar que dos números enteros formula_1 tienen el mismo resto al dividirlos por un número natural formula_2, llamado módulo; esto se expresa utilizando la notación