Suppose , , , and , ..., is a sequence of Real Numbers. Then this sequence contains a Monotonic increasing (decreasing) subsequence of terms or a Monotonic decreasing (increasing) subsequence of terms. Dilworth's Lemma is a generalization of this theorem.
See also Combinatorics