Se dice que < es un orden monomial si se cumple que: