An ideal in a polynomial ring generated by monomials. Its exponent vectors form an upward-closed subset of under the componentwise order. The Dickson lemma makes the minimal exponent set finite. This description permits Maclagan's theorem to compare ideals by reverse inclusion independently of the coefficient field.
New to topics? Read the docs here!