Henselization

The minimal Henselian local ring A^h associated to a given local ring (A, m) obtained by a universal, local, and essentially étale process that makes Hensel's lemma hold; concretely A^h is initial among local homomorphisms from A to Henselian local rings and can be constructed as a filtered colimit of étale neighborhoods.