e/Dickson's lemma

Information
has gloss	eng: In mathematics, Dickson's lemma is a finiteness statement applying to n-tuples of natural numbers. It is a simple fact from combinatorics, which has become attributed to the American algebraist L. E. Dickson. It was certainly known earlier, for example to Gordan in his researches on invariant theory.
lexicalization	eng: Dickson's lemma
instance of	c/Lemmas