以正整数m为模，则任何整数必与0，1，2，…，m-1之一同余，把同余的数归为一类，不同余的数归为不同的类，
则全体整数被分为m个类，称为关于模m的同余类，或模m的剩余类，我们用r mod m表示r所属的模m的同余类。