The Two Equivalence Definition and Application of Antisymmetry and Transitivity

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