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.
