Симметричное отношение

Симметричное отношение (Symmetric relation) — отношение [math]\displaystyle{ \,R }[/math], определенное на множестве [math]\displaystyle{ \,S }[/math] и обладающее тем свойством, что в любом случае

[math]\displaystyle{ xRy \Rightarrow yRx, }[/math]

где [math]\displaystyle{ \,x }[/math] и [math]\displaystyle{ \,y }[/math] — произвольные элементы [math]\displaystyle{ \,S }[/math]. Симметричным является, например, отношение "равно", определенное на множестве целых чисел.