On Transitivity and Transitive Closure for Binary Relation

• 二元关系的传递性和传递闭包探讨