The integral closure of a commutative unit ring R in an extension ring S is the set of all elements of S which are integral over R. It is a subring of S containing R.

algebraic closure | extension ring | integrally closed