Un orden monomial < sobre formula_3 se dice que es local si la unidad del anillo es mayor que toda variable, es decir, si formula_22 cualquiera que sea el formula_17.