(ii) Primeramente, veamos que g está bien definida, es decir que su definición no depende del representante seleccionado de la clase de equivalencia [x].