S> A relation R on a Set including elementS a, b, c, which iS reflexive (a R a), Symmetric (a R b => b R a) and tranSitive (a R b R c => a R c). An equivalence relation defineS an equivalence claSS. See alSo partial equivalence relation. (1996-05-13)