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

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