正整数集S,x,y∈S,定义关系R：
＜x,y＞∈R 当且仅当 x≡y （mod）n
（x≡y （mod）n 表示x,y除以n的余数相同）
称此关系为模n的同余关系.
可以验证此关系是一个等价关系