Go backward to ObservationGo up to TopGo 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: <=> (xmodm) = (ymodm).

*Proposition:* __=__ _{m} is an equivalence relation, for every
`m` in **Z**_{>0}.

Author: Wolfgang Schreiner

Last Modification: January 12, 2000