亨澤爾化(Henselization)賦值域的最小亨澤爾擴張.設(K,φ)是賦值域(F,φ)的一個賦值擴張，若滿足下列條件，則稱(K,φ)是(F,φ)的一個亨澤爾化:1. (K,φ）是個亨澤爾域.2. K是F的一個代數擴張.3.若(K',φ)是(F,φ）的一個亨澤爾擴張，則存在一個惟一的F單一同.任何賦值域(F ,φ）都存在亨澤爾化，而且除滿足上述條件3的F同構外是惟一的.亨澤爾化可以通過分解域而獲得，它是域F上的可分代數擴張.亨澤爾化是原賦值域的緊接擴張.
