\Leftrightarrow x^k \in \overline{A}\_ \mathrm{i}^\_x^l \in \overline{B}