Relazione simmetrica: differenze tra le versioni

In [[matematica]], una [[relazione binaria]] ''R'' in un insieme ''X'' è '''simmetrica''' [[se e solo se]], presi due elementi qualsiasi ''a'' e ''b'', vale che se ''a'' è in relazione con ''b'' allora anche ''b'' è in relazione con ''a''. In simboli:

 

 

Ad esempio, "è sposato/a con" è una relazione simmetrica, mentre "è figlio di" non lo è.

Una relazione ''R'' in ''X'' è '''asimmetrica''' se e solo se, presi comunque due elementi ''a'' e ''b'' in ''X'', se ''a'' è in relazione con ''b'' allora ''b'' non è in relazione con ''a''. In simboli:

 

 

Si noti che dire che una relazione non è simmetrica non equivale a dire che è asimmetrica; l'asimmetria è una condizione più forte della semplice non simmetria, pertanto esistono delle relazioni che non sono né simmetriche né asimmetriche.