Henselización

El anillo local henseliano minimal A^h asociado a un anillo local (A,m) obtenido mediante un proceso universal, local y esencialmente étale que hace válido el lema de Hensel; concretamente A^h es inicial entre las homomorfías locales de A hacia anillos locales henselianos y puede construirse como colímite filtrado de entornos étales.