\begin{definition}[Definition:Integral Ring Extension]
Let $A$ be a commutative ring with unity.
Let $R\subset A$ be a subring.
The ring extension $R \subseteq A$ is said to be '''integral''' {{iff}} for all $a \in A$, $a$ is integral over $R$.
\end{definition}