[1] 対称性: (∀x ∈ X) (∀y ∈ X) (x R y ⇒ y R x)

[2] 例: 実数の関係 =: (∀x ∈ R) (∀y ∈ R) (x = y ⇒ y = x) は真なので、対称性を持つ。