二元关系反对称性的判定

摘要

直接根据现有离散数学教材中二元关系反对称性的定义,来判定二元关系的反对称性,有时比较困难.文中通过对教材中二元关系反对称性定义的深入分析,将定义中的条件"对于(A)a,b∈A,当∈R且∈R时,有a=b"改为"对于(A)∈R且a≠b,没有∈R",得出一种等价的定义形式.利用该等价定义可以较好地实现二元关系反对称性的判定.