A new proof of the necessary and sufficient condition for a binary relation was of transitivity

• 二元关系具备传递性的充要条件的一种新的证明