 Surjective group homomorphism

A group homomorphism $f:G\to H$ is surjective when every element of $H$ is $f(g)$ for some $g\in G$.