1: \begin{definition}\label{def:period_adding}

2: We say that $f_\lambda$, as in Theorem~\ref{theo:adding_incrementing}

3: i), undergoes a period adding bifurcation structure if

4: \begin{enumerate}[i)]

5: \item for all values of $\lambda$, except for a Cantor set with zero

6: measure, the map $f_\lambda$ possesses a unique attracting periodic

7: orbit.

8: \item the $\eta$-number, $\eta\in\Q$, as a function of $\lambda$

9: follows a devil's staircase: it is a monotonically increasing

10: continuous function not defined in a Cantor set of zero measure (it is

11: hence locally constant for almost all values of $\lambda$)

12: \item if $f_{\lambda_\Delta}$ possesses a $\Delta$-periodic orbit with

13: $\eta=P/Q$, $(P,Q)=1$, then there exist values

14: $\lambda_\alpha<\lambda_\Delta<\lambda_\beta$ such that

15: $f_{\lambda_\alpha}$ and $f_{\lambda_\beta}$ possess $\alpha$ and

16: $\beta$-periodic orbits, respectively, whose $\eta$-numbers are Farey

17: neighbours and their mediant is $P/Q$.  Moreover, $\Delta$ is the

18: concatenation of $\alpha$ and $\beta$: $\Delta=\alpha\beta$

19: \end{enumerate}

20: \end{definition}

21: