(3)对va,b∈A若当(a,b),(b,a)∈R时,有b=a, 则称R是反对称的 (4)对∨a,b,c∈A,若当(a,b),(b,c)∈R时, 也有(a,c)∈R,则称R具有传递性 例7:Z上的"模n同余关系" 都是 Mnn(R)上的相抵;M(R)上的相似自反的 SMn(R)上的相合关系都不是反对称的/付称的 传递的 定义5:设R是集合A上的一个二元关系 若R具有自反性,对称性传递性, 则称R为A上的一个等价关系9 (4) , , , ( , ),( , ) , ( , ) , . a b c A a b b c R a c R R     对 若当 时 也有 则称 具有传递性 (3) , , ( , ),( , ) , , . a b A a b b a R b a R 对 若当 时 有    = 则称 是反对称的 " "; ( ) ; ( ) ; S ( ) , 7: m n n n n M R M R M R  上的 模 同余关系 上的相抵 上的相似 上的相合关系 例 R A . R , , , 5: . 则称 为 上的一个等价关系 若 具有自反性 对称性 传递性 定义 设R是集合A上的一个二元关系 都不是反对称的 , , . 自反的 对称的 都 传递的 是