Class defining the following order on the monomials $m_{1}$ and $m_{2}$; $m_{1} < m_{2}$ if either the degree of $degree(m_{1})>degree(m_{2})$ or $degree(m_{1})= degree(m_{2})$, or they are equal and $m_{1}$ is greater for the inverse lexicopgraphic ordering. In a sequence of decreasing monomial for this order, the degree are increasing.
