Integral closure/Definition

The ring of elements of an extension of a ring which satisfy a monic polynomial over the base ring.