integrally closed

A subring $R$ of a commutative ring $S$ is said to be integrally closed in $S$ if whenever $\theta \in S$ and $\theta$ is integral over $R$, then $\theta \in R$.

The integral closure of $R$ in $S$ is integrally closed in $S$.

An integral domain $R$ is said to be integrally closed (or ) if it is integrally closed in its fraction field.