Es seien R {\displaystyle {}R} und S {\displaystyle {}S} kommutative Ringe und R ⊆ S {\displaystyle {}R\subseteq S} eine Ringerweiterung. Dann nennt man die Menge der Elemente x ∈ S {\displaystyle {}x\in S} , die ganz über R {\displaystyle {}R} sind, den ganzen Abschluss von R {\displaystyle {}R} in S {\displaystyle {}S} .
