\;bRa} 対称関係と反対称関係(aRb かつ bRa ならば b = a)とは正確には反対の意味ではない。対称的かつ反対称的な関係もあるし(等号など)、対称的でも反対称的でもない関係もあり(約数)、対称的だが反対称的でない関係(合同式における合同関係)や対称的でないが反対称的な関係(≦や≧)もある。
yRx)} すなわち、反対称関係とは「x からy への関係が成り立ち、かつ x と y が等しくないならば、y から x への関係は成り立たない」ような関係であると定義してもよい。 反対称律に加え、反射律および推移律が成り立つ二項関係を、順序関係という。したがって、一般に順序関係は反対称関係である。例えば、実数における大小関係
Angie Ymnk commented