Es seien R {\displaystyle {}R} und S {\displaystyle {}S} kommutative Ringe und R ⊆ S {\displaystyle {}R\subseteq S} eine Ringerweiterung. Ein Element x ∈ S {\displaystyle {}x\in S} heißt ganz (über R {\displaystyle {}R} ), wenn x {\displaystyle {}x} eine Ganzheitsgleichung mit Koeffizienten aus R {\displaystyle {}R} erfüllt.
