离散数学等价类

　　规定一种关系，（比如两个数之差能被3整除），两个元素满足这一关系的话这两个元素就等价，这种关系还得满足自反性，交换性，传递性，相互等价的元素形成一类（所谓的物以类聚），这些类就叫等价类。

　　在离散数学中，等价关系是指定义在集合A上的关系，满足自反的、对称的和传递的等性质。设R是定义在集合A上的等价关系，与A中一个元素a有关系的所有元素的集合叫做a的等价类。