离散数学传递关系怎么判断