反对称性和传递性的两个等价定义及应用

• The Two Equivalence Definition and Application of Antisymmetry and Transitivity