De hecho, puede probarse que es una relación de equivalencia.