非对称关系都符合反对称性，更准确地说，集合 x 上的二元关系 r 是反对称的，当且仅当对于x里的任意元素a, b，若a r-关系于 b 且 b r-关系于 a，则a=b。