中对同余关系的定义和相关理解