传递性：如果有a→b的连线且有b→c的连线，就一定有a→c的连线。
传递关系
类似反对称关系
if (xRy && yRz) {xRz shall exists;} 换句话说: 不允许已经出现xRy&&yRz 却没有xRz;
e.g. R1 = {<1, 2>, <2, 3>, <1, 3>} R2 = {<1, 3>, <2, 3>}
扩展资料
关系矩阵的注意事项：把R中的序偶在矩阵中填上1, 其余XXY的其他位置填上0。
注意： XXY矩阵大小为|X|行|Y|列；例如：X={1, 2, 3} Y={5,6,7} XXY矩阵(记住笛卡尔积可以创建矩阵)是3*3规模。
几种基础关系如下：
自反性：∀ a ∈A, => (a, a) ∈ R
反自反：∀ a ∈A, => (a, a) ∉R
对称性：(a, b) ∈R∧ a ≠ b => (b, a)∈R//
反对称：(a, b) ∈R∧(b, a)∈R =>a=b// 这三个注意前件为假的情况
传递性：(a, b)∈R,(b, c)∈R =>(a, c)∈R //
参考资料来源：