1: \begin{definition}

2:   \label{def:critical_portrait}

3:   The sets $[\alpha^1_j]_{1,w}\subset \Q/\Z\subset \R/\Z=S^1$,

4:   $j=1,\dots, m$ satisfy the following, meaning they form a 

5:   \defn{critical portrait}. 

6:   \begin{itemize}

7:   \item $\mu$ maps all points of $[\alpha^1_j]_{1,w}$ to a single

8:   point,

9:   \begin{equation*}

10:     \mu([\alpha^1_j]_{1,w})=\{\alpha^0_j\}. 

11:   \end{equation*}

12: \item 

13:   $\sum_j (\#[\alpha^1_j]_{1,w}-1)= d-1$.

14: \item The sets $[\alpha^1_1]_{1,w},\dots, [\alpha^1_m]_{1,w}$ are

15:   non-crossing. 

16: \end{itemize}

17: The orbit

18: \begin{equation*}

19:   \A^0:= \bigcup \{\mu^n(\alpha^1_j)\mid j=1,\dots, m, \; n\geq 1\}

20: \end{equation*}

21: is a finite set. 

22: \begin{itemize}

23: \item No set $[\alpha^1_j]_{1,w}$ contains more than one point from

24:   $\A^0$. 

25: \end{itemize}

26: The equivalence relations $\Sim{n,w}$, as well as the laminations

27: $\LC^n_w$ and the gaps $\G^n_w$, are defined inductively

28: as in Theorem \ref{thm:LnLn+1}. 

29: \begin{itemize}

30: \item There is a constant $n_0$ such that the following holds. Let

31:   $\alpha^0,\tilde{\alpha}^0\in \A^0$ be distinct. Then for $m\geq

32:   n_0$ no gap $G^m\in \G^m_w$ contains

33:   points from both sets $[\alpha^0]_{m,w}, [\tilde{\alpha}^0]_{m,w}$.

34: \end{itemize}

35: \end{definition}

36: