Симметричное отношение
- Все определения требуют однородного отношения для перехода.
- Симметричное отношение является типом бинарного отношения, примером которого является отношение «равно».
- Симметрия, рефлексивность и транзитивность являются тремя определяющими свойствами отношения эквивалентности.
- Непустое отношение не может быть одновременно симметричным и асимметричным.
- Симметричные и антисимметричные отношения независимы друг от друга.
- Симметричное и транзитивное отношение всегда квазирефлексивно.
- Существует столько симметричных отношений, сколько n × n двоичных матриц верхнего треугольника, 2n(n+1)/2.
Полный текст статьи: