# Integral extension

## Definition

Let be commutative unital rings. We say that is an **integral extension** of if, for any element , there exists a monic polynomial such that .

Note that any integral extension is algebraic.

## Metaproperties

Template:Transitive extension property

Any integral extension of an integral extension is an integral extension.