1: \begin{definition}%[Belts]

2:     The \emph{slope} of a pair $(p,p')\in Q \x Q'$ of control states,

3:     is the positive vector $\slope(p,p')=(\rho,\rho')$

4:     satisfying the claim of the Belt Theorem.

5:     The \emph{belt} with slope $(\rho,\rho')$

6:     is the set of points $(n,n')\in\N^2$

7:     which are neither $\Cacyc$-above nor $\Cacyc$-below $(\rho,\rho')$.

8:     %Further, we define the extended belt

9:     %of $(p,p')$

10:    % 

11:     The \emph{extended belt} is the relation 

12:     $\belt(p,p')\subseteq (Q\x\N\x Q'\x\N)$

13:     that contains $(qn,q'n')$ iff

14:     $(n,n')$ is in the belt with slope $\slope(p,p')$.

15:     %$(n, n')$ is neither $\Cacyc$-above nor $\Cacyc$-below $(\rho,\rho')$.

16:     %We write $\belt(p,p')$ for the belt with $\slope(p,p')$.

17: \end{definition}

18: