作者:
waes81224 (waes81224)
2020-05-12 11:45:00離散遞移性有個性質是
假設 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 屬於A
aRb 且 bRc => aRc
但今天R∩S 只有 {(1,2)}
1R2 2R??
aRb bRc
因為少一個c本身就不符合定義了,這樣還算是具有遞移性嗎??