Question

离散数学中关系的传递性怎么判定？

Answer 1

所谓传递就是：
在R中，每当xRy，yRz，就必定有xRz。
符号表示就是：有<a,b>,<b,c>那么就一定有<a,c>

我们用个例子来说明吧。
设A={a,b,c} 判断下列关系是否有传递性：
R1={<a,b>,<b,a>,<a,a>}
R2={<a,b>,<c,c>}

R1就没有传递性。
因为存在<b,a>,<a,b>但是不存在<b,b>
R2却有传递性。
因为不存在某个关系的第一序偶和另一个的第二序偶相同。
即<×××,a>,<a,×××>的情形