Tenemos entonces el conjunto formula_30, que se denomina imagen de formula_6 mediante formula_32.