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