#?SuikaWiki/0.9
[1] [DFN[対称性]]: [CODE(math)[(∀[VAR[x]] ∈ [VAR[X]]) (∀[VAR[y]] ∈ [VAR[X]]) ([VAR[x]] [VAR[R]] [VAR[y]] ⇒ [VAR[y]] [VAR[R]] [VAR[x]])]]

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