The Free On-line Dictionary of Computing (18 March 2015):

equivalence relationA 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)