1: \begin{definition}

2: \label{def:JandF}

3: If the conditions of Theorem~\ref{thereisaFatouset} hold, then we let $F$ denote the set of points that iterate to the unique attracting fixed point, and set $J \defeq \C \setminus F$.

4: \end{definition}

5: