Se prueba que efectivamente esta es una relación de equivalencia, y se define