离散数学等价类
在离散数学中，等价关系是指定义在集合A上的关系，满足自反的、对称的和传递的等性质。设R是定义在集合A上的等价关系，与A中一个元素a有关系的所有元素的集合叫做a的等价类。等价类应用十分广泛，如在编程语言中，我们使用等价类来判定标识符是不是表示同一个事物。
规定一种关系，（比如两个数之差能被3整除），两个元素满足这一关系的话这两个元素就等价，这种关系还得满足自反性，交换性，传递性，相互等价的元素形成一类（所谓的物以类聚），这些类就叫等价类。
在离散数学中，等价关系是指定义在集合A上的关系，满足自反的、对称的\'和传递的等性质。设R是定义在集合A上的等价关系，与A中一个元素a有关系的所有元素的集合叫做a的等价类。