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