Nosotros denominaremos orden monomial global a todo orden monomial que también es buen orden.