【摘要】 探讨了二元关系传递性的判定和传递闭包的计算及其教学的有关问题 ,提出了中途点的概念 ,得到传递性在乘幂运算下的不变性 ,以及简化了计算传递闭包的算法 .更多还原

【Abstract】 We deal with transitivity and transitive closure for binary relation. We put forward the concept of middle point, obtain invariance of transitivity under power product of binary relation and simplify the algorithm in computing transitive closure.更多还原