The equivalence operator should have 3 properties:
- reflexive
- symmetric
- transitive An operator is an equivalence operator if and only if it fits all 3 properties.
Properties of equivalence relations
Reflexive
An item is equal to itself
Symmetric
The order in which items are compared do not affect the final result If: Then:
Transitive
Equivalent items are interchangeable. If: And Then As long as the compared items have a common equivalent, the compared items are equivalent.