1: \begin{definition}

2:  Let $I \subset \K[x]$ be a Borel-fixed ideal and let $\mathcal{I}_1,\ldots,\mathcal{I}_s$ be $s$ Borel rational deformations of $I$ as in Theorem \ref{th:compatible}. We say that $\{\mathcal{I}_1,\ldots,\mathcal{I}_s\}$ is a set of \emph{compatible} Borel rational deformations. Given a second Borel-fixed ideal $J$ belonging to the family of ideals $\mathcal{I}$ over $(\PP^1)^{\times s}$ but not to the set of Borel degenerations of $I$ computed with Algorithm \ref{alg:allDegenerations}, we call \emph{composed Borel rational deformation}\index{Borel rational deformation!composed} the deformation defined in Corollary \ref{cor:curveCompatible} having both $I$ and $J$ as fibers and \emph{(composed) Borel rational degeneration} of $I$ the ideal $J$.

3: \end{definition}

4: