Симметричное отношение
| Определение: |
| Бинарное отношение на множестве X называется симметричным, если для каждой пары элементов множества выполнение отношения влечёт выполнение отношения . Формально, отношение симметрично, если . |
Примеры
Любое отношение эквивалентности, по определению, является симметричным (а также рефлексивным и транзитивным). Также симметрично отношение связи вершин графа (неориентированного).
Не являются симметричными (за исключением случая тождественной ложности отношения) отношения порядка (как полного, так и частичного), а также отношение следования вершин ориентированного графа.
