1: \begin{definition} \label{D:compatible} If there is some $\mc{R}$ as in Theorem \ref{T:CC} such that

2: its image under $C$ is a basis of $\br{\mc{C}}(\Delta)$,

3: then we say that $W$ is a {\em compatible} potential for the upper cluster algebra,

4: or in short, $W$ is upper-compatible.

5: \end{definition}

6: