1: \begin{definition}

2: Let $O, S_1,S_2,S$ be as in Theorem~\ref{Aron}. We say $(S_1,S_2)$ is a bounded

3: separation pair (bs-pair) in $O$ if any $f\in H^\infty(O\setminus S)$ is

4: representable by the formula

5: \begin{equation}\label{decomposition}

6: f=f_1+f_2\text{ in }O\setminus S

7: \end{equation}

8: where $f_j\in H^\infty(O\setminus S_j)$.

9: \end{definition}

10: