Definition:Integrally Closed in Ring Extension

Definition
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$ $C = \phi(A)$.

Also see

 * Definition:Integrally Closed Integral Domain