Go backward to Residue ClassGo up to TopGo forward to Congruence Properties |

*Definition:*
The set of integers modulo `m` is the quotient set of **Z** with respect
to congruence modulo `m`:

Z_{m}:=Z/=_{m}.

*Proposition:*
**Z**_{m} has `m` elements each of which
is represented by a natural number less than `m`, i.e.,

Z_{m}= {[0]_{m}, [1]_{m}, [2]_{m}, ..., [m-1]_{m}}.

Author: Wolfgang Schreiner

Last Modification: January 12, 2000