Así que se tiene un conjunto cociente S/~ de clase equivalente de S que forma una partición de S.