equivalence relation (Q130998)
reflexive, symmetric and transitive relation
Language: