1: \begin{definition}

2:     Let $w, w' \in \calA^n$ be strings of equal length.  We say $w'$ \emph{substring-LIS-dominates}~$w$, notated $w' \ssLIS w$, if $\LIS(w'[i\dd j]) \geq \LIS(w[i\dd j])$ for all $1 \leq i \leq j \leq n$.  (Thus the coupling in Theorem~\ref{thm:coupling-ssLIS} satisfies $\bw \ssLIS \bv$ always.)  The relation $\ssLIS$ is reflexive and transitive.  If we have the substring-LIS-dominance condition just for $i = 1$ we say that $w'$ \emph{prefix-LIS-dominates}~$w$. If we have it just for $j = n$ we say that $w'$~\emph{suffix-LIS-dominates}~$w$.

3: \end{definition}

4: