离散数学二元关系的传递性该怎么去判定

所谓传递就是：
在R中,每当xRy,yRz,就必定有xRz.
符号表示就是：有,那么就一定有
我们用个例子来说明吧.
设A={a,b,c} 判断下列关系是否有传递性：
R1={,,}
R2={,}
R1就没有传递性.
因为存在,但是不存在
R2却有传递性.
因为不存在某个关系的第一序偶和另一个的第二序偶相同.
即,的情形