以正整数m为模，则任何整数必与0，1，2，…，m-1之一同余，把同余的数归为一类，不同余的数归为不同的类，

则全体整数被分为m个类，称为关于模m的同余类，或模m的剩余类，我们用r mod m表示r所属的模m的同余类。

比如模4的四个同余类为：

（因为整数有无穷个，这里用 .. 省略其他数字）

{ .. , -8 , -4 , 0 , 4 , 8 , .. }

{ .. , -7 , -3 , 1 , 5 , 9 , .. }

{ .. , -6 , -2 , 2 , 6 , 10 , .. }

{ .. , -5 , -1 , 3 , 7 , 11 , .. }