A relation R on a set including elements a, b,c, which is reflexive (a R a), symmetric (a R b => b R a) andtransitive (a R b R c => a R c). An equivalence relationdefines an equivalence class.See also partial equivalence relation.