Es sei R {\displaystyle {}R} ein kommutativer Ring und a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} ein Ideal. Dann heißt
die Komplettierung von R {\displaystyle {}R} bezüglich a {\displaystyle {}{\mathfrak {a}}} .