n定义 设R是A上的二元关系，每当(x, y) ∈R

且(y, z) ∈ R时，必有 (x, z)∈ R，则称

R是可传递的，也称R具有可传递性。

例1:

实数集上的小于关系和小于等于关系都

是可传递关系.如：a<b,b<c 则a<c

例2:设A={a ,b ,c}上的关系R={(a ,a) ,(a ,b) ,(b ,c) ,(a ,c)},

S={(a ,b) ,(c ,b)} ,

T={(a,b) ,(b ,b) ,(b ,c)},则

R,S,T是否可传递？

R,S是可传递的,T不是可传递的

因为T中有(a ,b)∈T ,(b ,c)∈ T但(a ,c) ,所以T不是可传递关系