\begin{definition}[Definition:Integral Element of Ring Extension]
Let $A$ be a commutative ring with unity.
Let $R \subseteq A$ be a subring.
Then $a \in A$ is said to be '''integral''' over $R$ {{iff}} is is a root of a monic nonzero polynomial over $R$.
\end{definition}