\qquad \Leftrightarrow \forall \epsilon > 0 \quad \exists y = (y^k, y^l) \in A \times B \qquad \mathrm{t. d.} \qquad \|y - x\|_{\infty} < \epsilon