La última correspondencia nos dice también que si formula_5 es un formula_1-conjunto y hay un homomorfismo de grupos formula_37 formula_5 es también un formula_39- conjunto, vía la composición de homomorfismos.