[1] (∀x ∈ X) (∀y ∈ X) (x R y ∧ y R x ⇒ x = y)

[2] 例: 実数 R 上で定義された関係 ≦: (∀x ∈ R) (∀y ∈ R) (x ≦ y ∧ y ≦ x ⇒ x = y) は真なので、 ≦ は反対称性を持つ。