Relació simètrica
En matemàtiques, una relació binària R sobre un conjunt X és simètrica si es compleix que per a tot a i b de X si a està relacionat amb b llavors també b està relacionat amb a.
En notació matemàtica s'escriu:
Nota: Simetria no és exactament el contrari d'antisimetria (aRb i bRa implica b = a). Hi ha relacions que són tant simètriques com asimètriques (la igualtat i les seves subrelacions, incloent-hi, la relació buida el que és una veritat vàcua), hi ha relacions que no són ni simètriques ni asimètriques (divisibilitat), hi ha relacions que són simètriques i no asimètriques (relació de congruència sobre els mòdul n), i hi ha relacions que no són simètriques però són asimètriques ("més petit o igual que").
Propietats que contenen la relació simètrica
modificaRelació d'equivalència - Una relació simètrica que també és transitiva i reflexiva.
Exemples
modifica- "estar casat amb" és una relació simètrica, mentre que "és més petit que" no ho és.
- "és igual a" (igualtat)
- "... és senar i ... també és senar":