Un orden monomial < sobre formula_3 se dice que: