Ideal Toy Company | The Ideal Copy | ''Spleen et ideal'', by Carlos Schwabe | Maximal-ratio combining | Ideal womanhood | Ideal observer theory | Ideal Marriage: Its Physiology and Technique | Ideal Lofts | Ideal Home | Domrakandi Ideal Government Primary School | Capitalism: The Unknown Ideal | Beau Ideal |
It occurs in the proofs of several theorems of crucial importance, for instance the Hahn–Banach theorem in functional analysis, the theorem that every vector space has a basis, Tychonoff's theorem in topology stating that every product of compact spaces is compact, and the theorems in abstract algebra that every nonzero ring has a maximal ideal and that every field has an algebraic closure.
Masayoshi Nagata proved in the 1950s that for any commutative local ring A with maximal ideal m there always exists a smallest ring Ah containing A such that Ah is Henselian with respect to mAh.
Completeness of a ring is not a necessary condition for the ring to have the Henselian property: Goro Azumaya in 1950 defined a commutative local ring satisfying the Henselian property for the maximal ideal m to be a Henselian ring.