Sea g:X/f → S, la función biyectiva que se obtiene al pasar f al cociente.