Es seien R {\displaystyle {}R} und S {\displaystyle {}S} kommutative Ringe und R ⊆ S {\displaystyle {}R\subseteq S} eine Ringerweiterung. Man nennt R {\displaystyle {}R} ganz-abgeschlossen in S {\displaystyle {}S} , wenn der ganze Abschluss von R {\displaystyle {}R} in S {\displaystyle {}S} gleich R {\displaystyle {}R} ist.
