La congruencia es un concepto definido por Gauss y se define de la siguiente forma:[br][br]Sean a, b y m números enteros tales que [math]a-b[/math] es un múltiplo de m, se dice[br]que a y b son congruentes respecto del módulo m, si la diferencia dividida por él producen el[br]mismo residuo.[br][br]La relación de congruencia se expresa como: [br][br][center][math]a[/math]≡ [math]b\left(modm\right)[/math][/center][justify][/justify][justify]Y se lee como "a es congruente con b módulo m" [br][br]El ejemplo representa una serie de números y su comportamiento respecto a su módulo 3.[/justify]