Relazione simmetrica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Cambiata l'implicazione della relazione di simmetria da "Se e solo se" a "implica"
Etichetta: Annullato
Riga 18:
== Relazioni antisimmetriche ==
 
Una relazione ''R'' in ''X'' è detta invece '[[''antisimmetrica''']] se, presi comunque due elementi ''a'' e ''b'' in ''X'', se ''a'' è in relazione con ''b'' e ''b'' è in relazione con ''a'', allora ''a'' = ''b''. In simboli:
 
:<math>\forall a, b \in X,\ a R b \land b R a \; \Rightarrow \; a = b</math>