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