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

2: %  A~\emph{defining sequence} for~$\Delta$ is a sequence of semisimple strata~$\Delta(j)=[\Lambda,n,r+j,\beta(j)]$, equivalent to~$\Delta(j+)$,

3: %  ~$j=0,\ldots,n-r$, such that,~$\beta=\beta(0)$ and the associated splitting of~$\Delta(j+1)$ is equal to or a coarsening of the associated splitting of~$\Delta(j)$. 

4: %  Such a sequence always exists by Theorem~\ref{thmDiagonalization} and Proposition~\ref{propSimplePure}. And it is not unique. Thus if we write~$\Delta(j)$ there is 

5: %  always a fixed choice behind it. We call a defining sequence~\emph{$k_0$-controlled} if~$\beta(j)$ is equal to~$\beta(j+1)$ for the 

6: %  indexes~$j$ satisfying~$k_0(\Delta(j))=k_0(\Delta(j+1))$, i.e. if one increases~$j$ the last entry in the stratum changes only if the stratum reaches its critical exponent.  

7: %  Given a defining sequence of~$\Delta$ the decreasing finite sequence of integers $(r_l)=(r+j_l)_{l=0,..}$ which begins with~$r$ and where we 

8: %  have~$k_0(\Delta(j-1))>k_0(\Delta(j))$, for each positive~$l$, is called the~\emph{jump sequence} of~$\Delta$. members of the jump sequence are called jumps.

9: %  The~\emph{core approximation} of~$\Delta$ is a stratum~$\Delta(j)$ where~$r+j$ consists to the jump sequence such 

10: %  that~$r+j$ is the biggest number in the jump sequence which satisfies~$r\geq\lfloor \frac{-k_0(\Delta(j-1))}{2}\rfloor$. 

11: %  In the case of~$r<\lfloor \frac{-k_0(\Delta(j))}{2}\rfloor$, we define~$\Delta$ to be its own core approximation. 

12: % \end{definition}

13: