Relazione simmetrica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
ZéroBot (discussione | contributi)
m r2.7.1) (Bot: Aggiungo ko:대칭관계
Etichetta: Probabile click accidentale sulla toolbar
Riga 8:
Una relazione di simmetria che è anche [[relazione transitiva|transitiva]] e [[relazione riflessiva|riflessiva]] è una [[relazione di equivalenza]].
 
--[[Speciale:Contributi/95.238.138.148|95.238.138.148]] ([[User talk:95.238.138.148|msg]]) 10:26, 2 ott 2012 (CEST)== Relazioni antisimmetriche ==
== Relazioni asimmetriche ==
 
Una relazione ''R'' in ''X'' è '''asimmetricaantisimmetrica''' 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:
 
:<math>\forall a, b \in X,\ a R b \; \Rightarrow \; \lnot(b R a)</math>
 
Si noti che dire che una relazione non è simmetrica non equivale a dire che è asimmetricaantisimmetrica; l'asimmetriaantisimmetria è una condizione più forte della semplice non simmetria, pertanto esistono delle relazioni che non sono né simmetriche né asimmetricheantisimmetriche.
 
== Relazioni antisimmetriche ==