 Increasing subsequence

An increasing subsequence of a sequence $x_1,\dots ,x_n$ is a sequence $x_{i_1}\le \cdots \le x_{i_m}$ selected at indices $i_1<\cdots <i_m$.