Ein lokaler Ring heißt vollständig, wenn die kanonische Abbildung R → R ^ {\displaystyle {}R\rightarrow {\hat {R}}} bijektiv ist.
