algebra Definition Equivalent Relation An equivalence relation is a binary relation that is reflexive, symmetric and transitive. reflexive: symmetric: transitive: