La relación de indiferencia ~ es una relación de equivalencia.