Ideal, das von den Leitmonomen bezüglich einer fixierten Monomenordnung der von Null verschiedenen Elemente eines Ideals erzeugt wird.

So ist z. B. bezüglich der lexikographischen Monomenordnung das Leitideal von

\begin{eqnarray}I=\langle {x}^{2}+{y}^{2}+{z}^{2}-1,{x}^{2}+{z}^{2}-y,x-z\rangle \end{eqnarray}

das von x, y und z⁴ erzeugte Ideal.