\begin{definition}[Definition:Group Endomorphism]
Let $\struct {G, \circ}$ be a group.
Let $\phi: G \to G$ be a (group) homomorphism from $G$ to itself.
Then $\phi$ is a group endomorphism.
\end{definition}