Definition:Congruence (Number Theory)/Integers

Definition
Let $m \in \Z_{> 0}$.

Definition by Integer Multiple
We also see that $a$ is congruent to $b$ modulo $m$ if their difference is a multiple of $m$:

Also see

 * Equivalence of Definitions of Integer Congruence


 * Congruence Modulo $m$ is Equivalence Relation


 * Definition:Congruence (Number Theory)