二項関係
X の各元 x, y について、x R y かつ y R x ならば x = y となるならば、関係 R は反対称であるという。
「大なりイコール」"≥" は x ≥ y かつ y ≥ x ならば x = y ゆえ反対称関係の例を与える。
左全域的かつ右全域的な二項関係は対応と呼ばれる。
一意かつ全域性条件:
X の各元 x, y について、x R y ならば x = y が成り立つとき、R は余反射的であるという。
「等しくて奇数である」という関係は余反射関係の例を与える。