Page "Dickson's lemma" Paragraph 2

Let be the set of non-negative integers ( natural numbers ), let n be any fixed constant, and let be the set of-tuples of natural numbers.

These tuples may be given a pointwise partial order, the product order, in which if and only if, for every,.