1: \begin{definition}

2: \label{definition:straighteningPartialOrder}

3: We now define a partial order on the set of degree $r$ heads $\He_{L,r}$ that, as we will see in Theorem \ref{theorem:degrStraightenPartialOrder}, is closely related to the straightening rule and hence shall denote it $\geq_{str}$. Define $(\theta_1,\ldots,\theta_r) >_{str} (\theta'_1,\ldots,\theta'_r)$ if there exists a $q\leq r$ such that $\theta_n = \theta'_n$ for all $n<q$ and $\theta_q > \theta'_q$ . Equality occurs if $\theta_n = \theta'_n$ for all $1\leq n \leq r$. This is just the lexicographic order on these sequences, with the order on each individual entry being the Bruhat order.

4: \end{definition}