\Leftrightarrow (x^k, x^l) \in \overline{A}\times\overline{B}