Equivalence relation is reflexive, symmetric, and transitive.
concept equivalence relation[contravariant value element]
Declaration: equivalence relation
Announcements: equivalence relation
Direct supertypes: relation
Direct subtypes: equivalence with hash
Use: has equivalence / base list dictionary / base list dictionary / base list dictionary / list dictionary / list dictionary / list dictionary / immutable list dictionary / immutable list dictionary / immutable list dictionary / base graph / base graph / base graph