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