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.