等价关系是一种二元关系.
设非空集合S和其上的二元关系~,满足：
（1）自反性：A；
（2）对称性：B,则B~A；
（3）传递性：B,C,则A~C.
则称~是集合S上的一个等价关系.
例子:
(1) 集合上的恒等关系,全域关系是等价关系.
(2) 三角形的全等关系,三角形的相似关系是等价关系.
(3) 在一个班级里“年龄相等”的关系是等价关系.