Complete local ring

Definition
A complete local ring is a local ring that is complete with respect to its unique maximal ideal. More explicitly, the natural embedding into its completion with respect to its unique maximal ideal is an isomorphism.

Weaker properties

 * Henselian local ring