в математике и логике, свойство бинарных (двуместных, двучленных) отношений , выражающее независимость выполнимости данного отношения для какой-либо пары объектов от порядка, в котором эти объекты входят в пару: отношение R называется симметричным, если для любых объектов x и y из области определения xRy влечёт yRx . Примерами симметричных отн