La relazione di congruenza è definita come:
Dati due interi \( \displaystyle {a},{b}\in\mathbb{Z} \) e un intero \( \displaystyle {n}\ge{2} \), si ha che \( \displaystyle {a} \) è congruo \( \displaystyle {b} \) modulo \( \displaystyle {n} \), e si scrive come \( \displaystyle {a}\equiv{b}_{{\text{mod}{n}}}\Leftrightarrow{n}{\mid}{a}-{b} \). Questo significa che \( \displaystyle {a} \) e \( \displaystyle {b} \) sono tra loro in relazione se la differenza è un multiplo di \( \displaystyle {n} \), ok? Cioè \( \displaystyle \exists{k}\in\mathbb{Z}{\mid}{a}-{b}={n}\cdot{k} \).




