Симметричность

        в математике и логике, свойство бинарных (двуместных, двучленных) отношений (См. Отношение), выражающее независимость выполнимости данного отношения для какой-либо пары объектов от порядка, в котором эти объекты входят в пару: отношение R называется симметричным, если для любых объектов x и y из области определения xRy влечёт yRx. Примерами симметричных отношений служат отношения типа равенства (См. Равенство) (тождества (См. Тождество), эквивалентности (См. Эквивалентность), подобия (См. Подобие)), их «ослабленные формы» — отношения толерантности (сходства, соседства и т. п.), а также (как следует из данного выше определения) обратные к ним отношения неравенства и др. Отношение R называется антисимметричным, если из xRy при х (у следует ⌉ yRx (отрицание yRx), т. е. если из xRy и yRx непременно следует х = у, таковы, например, отношения порядка (по величине или какому-либо другому упорядочивающему критерию) между числами или другими объектами, отношение включения между множествами и т. п. В применении к логическим и логико-математическим операциям свойство С. называется коммутативностью (перестановочностью); например, результаты сложения и умножения чисел, объединения и пересечения множеств, Дизъюнкция и Конъюнкция высказываний (см. Алгебра логики) не зависят от порядка слагаемых, сомножителей и т. д. Понятия С. и коммутативности естественно обобщаются на случай произвольного числа объектов.