#?SuikaWiki/0.9
[1] [CODE(math)[(∀[VAR[x]] ∈ [VAR[X]]) (∀[VAR[y]] ∈ [VAR[X]]) ([VAR[x]] [VAR[R]] [VAR[y]] ∧ [VAR[y]] [VAR[R]] [VAR[x]] ⇒ [VAR[x]] = [VAR[y]])]]

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