\begin{definition}[Definition:Integrally Closed in Ring Extension]
Let $\phi : A \hookrightarrow B$ be a ring extension.
Let $C$ be the integral closure of $A$ in $B$.
Then $A$ is '''integrally closed''' in $B$ {{iff}} $C = \phi(A)$.
\end{definition}