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}}}.