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

2: Fix $R_0\gg 1$ and $\rr_0=R_0^{-(3-5\tau)}$. Define sets $\FF_n\subset(\Z^2\setminus 0)\times \Z$ as follows. 

3: \[

4: \FF_0 = \{k\in(\ZZ^2\setminus\{0\})\times\ZZ: k\cdot (1,0,0)=0\,\text{ or }k\cdot(0,1,0)=0,\,\,\text{gcd}(k)=1\footnote{where gcd$(k)$ is 

5: the greatest common divisor of absolute values of components of $k$. 

6: },\,\,\,|k|\leq R_0\},

7: \]

8: which corresponds to vertical and horizontal lines in frequency space. The associated net of resonances in frequency space $\bS_0\subset U'_\eta\subset\RR^2$ is given by

9: \[

10:  \bS_0=\bigcup_{k\in\FF_0}\left\{\om\in U'_\eta\subset\RR^2:(\om,1)\cdot k=0\right\}.

11: \]

12: For $n\geq 1$ we define the set $\FF_n$  as the set of Dirichlet resonant vectors $k\in(\ZZ^2\setminus\{0\})\times\ZZ$ obtained in Key Theorem \ref{keythm:ResonancesWithNoTriple} and 

13: \begin{equation}\label{def:UnionResonanceInFreq}

14:  \bS_n=\bigcup_{k_n\in\FF_n}\SSS_{k_n}^{\om_n}, \qquad 

15:  \bS=\bigcup_{n\geq 0}\bS_n.

16: \end{equation}

17: where $\SSS_{k_n}^{\om_n}$ are the resonant segments obtained in  

18: Key Theorem \ref{keythm:ResonancesWithNoTriple}.

19: %Finally, we define

20: %\[

21: %\]

22: \end{definition}

23: