Quantum redactiones paginae "Relatio aequivalentiae" differant

m
(one of the Myriad)
 
* <math>(a, a) \in R</math> (reflexiva)
* <math>(a, b) \in R \rightarrow (b, a) \in R</math> (symmetrica)
* <math>(a, b) \in R \andland (b, c) \in R \rightarrow (a, c) \in R</math> (transitiva)
 
Aequalitas est paradigma talium relationum: a = a; si a = b, tunc b = a; si a = b et b = c, tunc a = c.