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

Симметричное отношение (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]. Симметричным является, например, отношение "равно", определенное на множестве целых чисел.