1: \begin{definition} \label{defretractioninitialsegment}

2: Let $\gamma = \{t_1, \dots, t_n\} \in \FF$ and

3: $\beta = \{t_1, \dots, t_m\}$ for some $1 \leq m \leq n$.

4: We define a retraction $\epsilon_{\beta,\gamma}:

5: \AAA_\gamma \to \AAA_\beta$ as follows:

6: \begin{itemize}

7:     \item We proceed by reverse induction to define

8:     retractions $\epsilon_{\beta(\ell),\gamma(\ell)}$

9:     for $\ell = m, \dots, 1$.

10:     \item In the base

11:     case $\ell=m$ we define $\epsilon_{\beta(m),\gamma(m)}$

12:     to be $\epsilon_{\gamma(m)}$ as defined in chapter \ref{chapiteratedproducts}.

13:     \item Inductively, we define

14:     \[

15:     \epsilon_{\beta(\ell),\gamma(\ell)}

16:     = \epsilon_{\beta(\ell+1),\gamma(\ell+1)}^*

17:     \]

18:     in the sense of Theorem \ref{thmliftingretraction}.

19: \end{itemize}

20: \end{definition}

21: