Sea formula_3 el conjunto de monomios sobre formula_4 (como es habitual, denotamos por formula_5 al monomio formula_6, y dado el multiíndice formula_7, denotarmos por formula_8 al monomio formula_9; aquí entenderemos por monomios a productos de indeterminadas, sin coeficientes en el anillo).