Formal Statement
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, . The set of tuples that are greater than or equal to some particular tuple forms a positive orthant with its apex at the given tuple.
With this notation, Dickson's lemma may be stated in several equivalent forms:
- In every subset of, there are finitely many elements that are minimal elements of for the pointwise partial order
- In every infinite set of -tuples of natural numbers, there exist two tuples and such that, for every, .
- The partially ordered set is a well partial order.
- Every subset of may be covered by a finite set of positive orthants, whose apexes all belong to
Read more about this topic: Dickson's Lemma
Famous quotes containing the words formal and/or statement:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“No statement about God is simply, literally true. God is far more than can be measured, described, defined in ordinary language, or pinned down to any particular happening.”
—David Jenkins (b. 1925)