És la relació reflexiva, simètrica i transitiva (veure text ). Quan es defineix una relació d'equivalència per a un conjunt determinat, A, aquest conjunt queda dividit en subconjunts o classes, denominats classes d'equivalència, els membres del qual són elements equivalents. A la divisió en classes se la denomina partición.