Go backward to Observation Go up to Top Go forward to Residue Class |
Definition: Two integers x and y are congruent modulo m if they have the same remainder when divided by m:
x = m y : <=> (x mod m) = (y mod m).
Proposition: = m is an equivalence relation, for every m in Z>0.