Симметричное отношение

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