UTM Ideals Varieties and Algorithm - Chapter 2 Section 2 Exercise 6

Problem:

Solution:

It is simply reversing the variable order.

Suppose a set of polynomial is invlex ordered with respect to the variable order $x > y > z$, then it is lex ordered with respect to the variable order $z > y > x$, this is obvious to see from the definition.