关于离散数学二元关系判断是否传递