Start=Komplettierung

MDLUL/Komplettierung

Ziel=Kommutativer Ring/Ideal/Komplettierung/Definition