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