这与空集的意思差不多.
集合A上的关系.是A的元的有序对的一个集合.
所谓关系R是传递的,是说,对于R的两个有序对:
<a,b>.<c,d>,只要b=c,则必有<a,d>∈R.
现在R={<1,3>}.取“两个”有序对.只能是
<1,3>,<1,3>没有b=c者.所以它也看成满足
传递关系的条件,(一般地说,只要没有“相接”
的两个有序对[<1,2><2,3>叫“相接”],R总是
传递关系.)
这与空集的意思差不多.
集合A上的关系.是A的元的有序对的一个集合.
所谓关系R是传递的,是说,对于R的两个有序对:
<a,b>.<c,d>,只要b=c,则必有<a,d>∈R.
现在R={<1,3>}.取“两个”有序对.只能是
<1,3>,<1,3>没有b=c者.所以它也看成满足
传递关系的条件,(一般地说,只要没有“相接”
的两个有序对[<1,2><2,3>叫“相接”],R总是
传递关系.)