Seja R uma relação binária em A. Ela é uma relação de equivalência se ela for ao mesmo tempo reflexiva, simétrica e transitiva.