等价关系 Equivalence relation
(重定向自Equivalence relations)
设是某个集合
上的一个二元关系。若
满足以下条件:
则称是一个定义在
上的等价关系。习惯上会把等价关系的符号由
改写为
。
例如,设,定义
上的关系
如下:
其中叫做
与
模3 同余,即
除以3的余数与
除以3的余数相等。例子有1R4, 2R5, 3R6。不难验证
为
上的等价关系。
并非所有的二元关系都是等价关系。一个简单的反例是比较两个数中哪个较大: