Esa partición define una relación de equivalencia en el conjunto de la manera siguiente.