關係傳遞性

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不是可傳遞關係