2. No! $\displaystyle H$ could be smaller than $\displaystyle G$, and then there is no way $\displaystyle G$ could be the image of any kind of function defined on $\displaystyle H$.