\begin{definition}[Definition:Group Epimorphism]
Let $\struct {G, \circ}$ and $\struct {H, *}$ be groups.
Let $\phi: G \to H$ be a (group) homomorphism.
Then $\phi$ is a group epimorphism {{iff}} $\phi$ is a surjection.
\end{definition}