← relation ideal • library • elements • equivalence relation equivalence with hash →
Equivalence relation is reflexive, symmetric, and transitive.
concept equivalence relation[contravariant value element]
subtypes relation[element]
← relation ideal • library • elements • equivalence relation equivalence with hash →