求模的同余类的定义

同余类定义：对给定的模m,整数的同余关系是一个等价关系，故整数集合可以根据对模m的同余关系，构造整数集合的一个划分。
关于集合的划分与等价关系之间的关系详细阐述如下。
定义：R是 A上的关系，a A ,b A, c A,若aRb且bRc,有aRc，则R是传递的。
定义：自反的、对称的、传递的关系，称为等价关系。
定义：设A是非空集合，P是A的非空子集构成的集合，并且满足以下条件：1.A的每个元素属于P中某个集合；定理1：设P是集合A的一个划分，A上关系R定义为:aRb当且仅当a,b属于P的同一块,则R是A上的等价关系。