Congruencia es un término usado en la teoría de números, para designar que dos números enteros a y b {\displaystyle a\,\textstyle {\text{y}}\displaystyle \,b} tienen el mismo resto al dividirlos por un número natural m ≠ 0 {\displaystyle m\,\neq \,0}, llamado módulo; esto se expresa utilizando la notación: a ≡ b {\displaystyle a\equiv b{\pmod {m}}} que se expresa diciendo que: a {\displaystyle a\,} es congruente con b {\displaystyle b\,} módulo m {\displaystyle m\,}. Wikipedia