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

2: Let the notation be as in Definition~\ref{defpab} and Theorem~\ref{teoalpha}. For arbitrary $\alpha_1, \alpha_2$, $0 \leq

3: \alpha_1 <a$, $0\leq \alpha_2 <q$ we define

4: $$

5: \begin{array}{l}

6: B_1(X^{\alpha_1}Y^{\alpha_2}) = \{X^{\gamma_1} Y^{\gamma_2}\mid \alpha_1 \leq \gamma_1 < a, \alpha_2 \leq \gamma_2 < q\}, \\

7: \ \\

8: B_2(X^{\alpha_1}Y^{\alpha_2}) = \\

9: \ \\

10: {\mbox{ \ \ \ }} \left\{ \begin{array}{ll} 

11: 				\bigg\{X^{\gamma_1}Y^{\gamma_2}\mid \alpha_1-T \leq \gamma_1 < \alpha_1,	\\

12: 				{\mbox{ \ \hspace{4cm} }} \alpha_2+b \leq \gamma_2 < q \bigg\}        		& 	\begin{array}{l} {\mbox{\ if \ }} T \neq 0 \\

13: 														                  	 {\mbox{\ and \ }} 0 \leq \alpha_2 < q-b

14: 															\end{array}\\

15: 				\ \\

16: 				\emptyset 									&	{\mbox{\hspace{1.3mm} otherwise, \ }}

17: 		\end{array} \right.\\

18: \ \\

19: \mbox{and for $u =1,\ldots,\gcd(a,b)$}\\

20: \ \\

21: B_3(X^{\alpha_1}Y^{\alpha_2},u) = \\

22: \ \\

23: {\mbox{ \ \ \ }} \left\{ \begin{array}{ll}

24: 				\bigg\{X^{\gamma_1}Y^{\gamma_2}\mid a-w(Y)u \leq \gamma_1 < \alpha_1,\\

25: 				{\mbox{ \ \hspace{0.7cm}}} \alpha_2+w(X)u \leq \gamma_2 < q\bigg\} 	& \begin{array}{l} 	{\mbox{ \ if \ }} a-w(Y) < \alpha_1 < a  \\

26: 																{\mbox{ \ and \ }} 0 \leq \alpha_2 < q-b

27: 													\end{array} \\

28: 				\ \\

29: 				\emptyset 								&			{\mbox{\ {\hspace{2.3mm}} otherwise.}}

30: 		\end{array} \right.\\

31: \end{array}

32: $$

33: \end{definition}

34: