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