A well ordered set of monomials which also satisfies the condition " implies " for all monomials , ,
Examples of monomial orders are the lexicographic
order and the total degree order.
More things to try:
Weisstein, Eric W. "Monomial Order." From
MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/MonomialOrder.html