传递关系的复合不一定是传递的

离散数学中，两个具有传递性的二元关系的复合不一定具有传递性。

反例如下：

R 1 = { < 1 , 2 > , < 3 , 4 > } R_1=\{<1,2>,<3,4>\} R1​={<1,2>,<3,4>}

R 2 = { < 2 , 3 > , < 4 , 5 > } R_2 = \{<2,3>,<4,5>\} R2​={<2,3>,<4,5>}

则有$R_1$和$R_2$的（右）复合$R$：

R = R 1 ∘ R 2 = { < 1 , 3 > , < 3 , 5 > } R = R_1\circ R_2 = \{<1,3>,<3,5>\} R=R1​∘R2​={<1,3>,<3,5>}

显然，$R$不具备传递性。

参考：https://math.stackexchange.com/questions/2096252/is-composition-of-two-transitive-relations-transitive-if-not-can-you-give-me-a