1: \begin{definition}

2:   [Deletion]

3:   \label{definition:deletion}

4:   Let $w'\in \ttab_n(\mu)$ and let $\lambda$ be a real partition that interleaves $\mu$.

5:   Then we write

6:   \begin{displaymath}

7:     \del_\lambda(w')=(v,w) \text{ if and only if } w\in \ttab_n(\lambda) \text{ and }\ins(w,v)=w'.

8:   \end{displaymath}

9:   The pair $(v,w)$ is computed from $w'$ and $\lambda$ by the algorithm described in the proof of Theorem~\ref{theorem:pieri}.

10: \end{definition}

11: