1、在离散数学中，等价关系是指定义在***A上的关系，满足自反的、对称的和传递的等性质。

2、设R是定义在***A上的等价关系，与A中一个元素a有关系的所有元素的***叫做a的等价类。

3、等价类应用十分广泛，如在编程语言中，我们使用等价类来判定标识符是不是表示同一个事物。