Erdős-Szekeres 定理

假設 ，，並且 , ..., 是一個 實數 序列。那麼這個序列包含一個 單調 遞增（遞減）子序列，其包含 項，或者一個 單調 遞減（遞增）子序列，其包含 項。

Dilworth 引理 是這個定理的推廣。