1: \begin{definition} Let $X$ be a $\wpo$. Every well-order $\preceq$ on $X$ that satisfies Theorem \ref{dejonghandparikh1} is called a \textbf{maximal linear extension}.

2: \end{definition}

3: