二元关系传递性的两种等价判定

Two Methods of Judging Transitive Binary-Relation

根据多数《离散数学》教材中二元关系传递性的定义来判定通常较为困难,介绍了两个与定义等价的判定:"中途点"判定法和"蕴涵式"判定法,分析了不同方法的适用情况,对正确掌握二元关系传递性的判定有一定作用.

Judging a transitive binary- relation by the definition of transitivity of binary- relation directly is not easy. Two equivalent definitions of transitivity,＂midway point＂and ＂implication＂method,are given in this paper. The application of different methods is also analyzed,which is very helpful for the students to know how to judge a transitive binary- relation.