反对称关系

反对称性是一个关于数学上二元关系的性质。大概地说，集合X上的二元关系R是反对称的，当且仅当不存在X里的一对相异元素a,b，它们R-关系于彼此。数学上，若对所有的a和b属于X，下述语句保持有效，则集合X上的二元关系R是反对称的：「若对所有的a和b属于X，若a关系到b且b关系到a，则a=b。」