1: \begin{definition}

2: For a positive integer $B>0$, let $\mathcal I_B\subset\mathbf E$ be the set of all commuting pairs from $\mathcal I$ that are images of $\Sigma_B$ under the map $\iota$ (c.f. Theorem~\ref{Comm_pair_attractor_theorem}). 

3: Let us denote by $\mathcal K\subset\mathcal I$ the union

4: $$

5: \mathcal K=\bigcup_{B\in\bbN} \mathcal I_B.

6: $$

7: \end{definition}

8: