Differenze tra le versioni di "Relazione (matematica)"

m (→‎Proprietà: disamb)
* 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à''.:
* Totalità: <math>a\in A, b\in B \implies aRb \vee bRa</math>.
 
== Esempi ==