El conjunto Y puede identificarse (como conjunto) con el conjunto cociente X/g.