Словарь логики - отношение симметричное

бинарное (двухместное) отношение R, определенное на некотором множестве и характе­ризующееся тем, что для любых элементов х и у этого множества из того, что х находится к у в отношении R(xRy), следует, что и у находится в том же отношении к х(у Rx). Примером О. с. может быть равенство (=), отношение типа равенства, подобия, одно­временности, некоторые отношения родства и др. Так, отношение братства симметрично (если речь идет о любых лицах мужского пола), поскольку является истинным предложение: «Если х явля­ется братом у, то и у является братом х» (напр., если Иван брат Петра, то и Петр — брат Ивана). .