equivalence_relation (230B)
1 # Equivalence relation 2 3 A [mathematics_relation] is an equivalence relation if it is [relation_symmetric], [relation_reflexive], and [relation_transitive] 4 5 Up: [mathematics] 6 7 See also: [equivalence_class], [quotient], [partition]