관계1을 R1, 관계2를 R2라고하면



R1에 대해서 이행성이 성립하고 (R1 ab, R1 bc이면 R1 ac)


R2에 대해서도 이행성이 성립하면서 (R2 ab, R2 bc이면 R2 ac)



이게 체인되는



그러니까


R1 ab, R2 bc 이면 뭔가 넓은 의미에서 Rac 이런식으로 성립하는거 (순서 바껴도됨...)



아니면 특이한 순서 주는 관계인데 natural order에서 ac 사이에 이런게 성립한다던가.. 



그런 관계 없을까?