1: \begin{definition}

2: \label{def:ordered-ramsey}

3: \emph{Ordered Ramsey's Theorem} for pairs states that if $(P, \preceq)$ is a finite partial order and $\fun{\colA}{[\Nn]^2}{P}$ is a colouring such that for every $i\! <\! j\! <\! k$ we have $\colA(i, j) \succeq \colA(i, k)$, then there exists an infinite homogeneous set $I\subseteq \Nn$, i.e.~$\colA(i,j)=\colA(i',j')$ for all $(i,j),(i',j')\in [I]^2$.

4: \end{definition}

5: