The judgment of transitive binary relation is a difficult point in discrete mathematic.

• 摘要可传递二元关系的判定是离散数学中的一个难点。