toda relación de equivalencia define un conjunto cociente al que denotamos por