Se puede probar que esto define una relación de equivalencia.