\begin{definition}[Definition:Semigroup Endomorphism]
Let $\left({S, \circ}\right)$ be a semigroups.
Let $\phi: S \to S$ be a (semigroup) homomorphism from $S$ to itself.
Then $\phi$ is a semigroup endomorphism.
\end{definition}