1: \begin{definition}\label{def. compatible}

2: Let $\H$, $\K$, $\K'$ be Hilbert spaces, and let $H_0:\H\to\H$, $A:\H\to\K$, $B:\K\to\H$, $A':\H\to\K'$, $B':\K'\to\H$ be such that $BA=B'A'$. Suppose that the triples $(H_0,A,B)$ and $(H_0,A',B')$ satisfy the assumptions of Theorem \rref{abstract theorem}. The two factorizations $V:=BA=B'A'$ are called \emph{compatible} if the following hold:

3: %

4: \begin{itemize}

5: \item[\rm i)] The operators $A'R_0(z)B$ and $AR_0(z)B'$ have bounded closure for one {\rm(}and hence for all{\rm)} $z\in\rho(H_0)$,

6: %

7: \[

8: F(z):=\overline{A'R_0(z)B}\in\LL(\K,\K'),\quad G(z):=\overline{AR_0(z)B'}\in\LL(\K',\K).

9: \]

10: %

11: \item[\rm ii)] There exist dense linear manifolds $\mathcal{C}\subset\H$, $\dom\subset\K$ and $\dom'\subset\K'$ such that for all $z\in\rho(H_0)$,

12: %

13: \begin{align*}

14: \mathcal{C}&\subset\set{f\in\H}{R_0(z)f\in\dom(V),\,R_0(z)VR_0(z)f\in\dom(V)},\\

15: \dom&\subset\set{f\in\dom(B)}{R_0(z)Bf\in\dom(V)},\\

16: \dom'&\subset\set{f\in\dom(B')}{R_0(z)B'f\in\dom(V)}. 

17: \end{align*}

18: %

19: \end{itemize}

20: \end{definition}