离散递移性有个性质是
假设 R与S皆具有递移性, 则R∩S也具有递移性
假设 R＝{(1,2) (2,3) (1,3)}
S = {(1,1) (1,2) (2,2) (2,1)}
此时 R∩S = {(1,2)}, 我想问的是这样有递移性吗？
以下是我的想法
根据递移性的定义是 for all a, b, c 属于Ａ
aRb 且 bRc => aRc
但今天R∩S 只有 {(1,2)}
1R2 2R??
aRb bRc
因为少一个c本身就不符合定义了，这样还算是具有递移性吗？？

那不叫不符合定义，那叫前提不存在，形成“空虚的真”