maximal ideal noun1 •An ideal which cannot be made any larger (by adjoining any element to it) without making it improper (i.e., equal to the whole of the containing algebraic structure).Let S be the set of all prime ideals of B, and H be the set of all maximal ideals of B. — 2004 formsmaximal ideals