(3)传递性
设 R 是集合 A 上的二元关系,对任意a,b,c A,若有 a , b R,且 b , c R,就必有 a , c R,则称 R 为 A 上传递的关系。
2.重要的二元关系
(1)等价关系与等价类
设 R 是非空集合 A 上的二元关系,如果 R 是自反的、对称的和传递的,则称 R 是 A 上的等价关系。
设 R 是非空集合 A 上的等价关系,对任意a A,令[a]R = {b b A且 a , b R }则称集合[a]R 为 a 关于 R 的等价类,简称 a 的等价类。
(2)相容关系与相容类
设 R 是非空集合 A 上的二元关系,如果 R 是自反的、对称的,则称 R 是 A 上的相容关系。
|