Differenze tra le versioni di "Relazione (matematica)"

Etichetta: Rimozione di avvisi di servizio
== Proprietà ==
Si dice che <math>R</math>, relazione binaria, è una [[Relazione di equivalenza|relazione di equivalenza]], o più semplicemente ''equivalenza'' se è:
* Riflessiva: <math>\forall a,\ aRa</math>
* Simmetrica: <math>\forall a,b, \ aRb \Rightarrow bRa</math>
* [[Transitività|Transitiva]]: <math>\forall a,b,c, \ aRb \wedge bRc \Rightarrow aRc</math>
 
Si dice che <math>R</math>, relazione binaria, è un [[Relazione d'ordine|ordine]] se è:
* Riflessiva: <math>\forall a,\ aRa</math>
* Antisimmetrica: <math>\forall a,b, \ aRb \wedge bRa \Rightarrow a=b</math>
* Transitiva: <math>\forall a,b,c, \ aRb \wedge bRc \Rightarrow aRc</math>
In più è [[Ordine totale|totale]] se vale la ''linearità'' o ''totalità''.
 
Utente anonimo