1: \begin{definition}

2: \label{def:m-compat}

3: Two colored roots $\alpha^k,\beta^l\in\Phi^m_{\geq -1}$ are called

4: \emph{compatible} if and only if one of the following conditions is satisfied:  

5: \begin{itemize}

6: \item 

7: $k>l$, $d(\alpha)\leq d(\beta)$, and the roots $R(\alpha)$ and $\beta$

8: are compatible (in the original ``non-colored'' sense of

9: Theorem~\ref{th:compat});  

10: \item 

11: $k<l$, $d(\alpha)\geq d(\beta)$, and the roots $\alpha$ and $R(\beta)$

12: are compatible; % in the sense of Theorem~\ref{th:compat}; 

13: \item 

14: $k>l$, $d(\alpha)>d(\beta)$, and  the roots $\alpha$ and $\beta$ are compatible; 

15: \item 

16: $k<l$, $d(\alpha)<d(\beta)$, and  the roots $\alpha$ and $\beta$ are compatible; 

17: \item 

18: $k=l$, and  the roots $\alpha$ and $\beta$ are compatible. 

19: \end{itemize}

20: \end{definition}

21: