1: \begin{abstract}

2: Consider the following classes of pairs consisting of a group and a finite collection of subgroups:

3: \begin{itemize}

4: \item \( \mathcal{C}= \left\{ (G,\mathcal H) \mid \text{$\mathcal{H}$ is hyperbolically embedded in $G$} \right\} \) 

5: 

6: \item \( \mathcal{D}= \left\{ (G,\mathcal H) \mid \text{the relative Dehn function of $(G,\mathcal H)$ is well-defined} \right\} .\) 

7: \end{itemize}

8: Let $G$ be a group that splits as a finite graph of groups such that each vertex group $G_v$ is assigned a finite collection of subgroups $\mathcal{H}_v$, and each edge group $G_e$ is conjugate to a subgroup of some $H\in \mathcal{H}_v$ if $e$ is adjacent to $v$.

9:  Then there is a finite collection of subgroups $\mathcal{H}$ of $G$ such that 

10: \begin{enumerate}

11:     \item If each $(G_v, \mathcal{H}_v)$ is in $\mathcal C$, then $(G,\mathcal{H})$ is in $\mathcal C$.

12:  

13:     \item If each $(G_v, \mathcal{H}_v)$ is in $\mathcal D$, then $(G,\mathcal{H})$ is in $\mathcal D$.

14:     

15:     \item For any vertex $v$ and for any $g\in G_v$, the element $g$ is conjugate to an element in some $Q\in\mathcal{H}_v$ if and only if $g$ is conjugate to an element in some $H\in\mathcal{H}$.

16: \end{enumerate}

17: That edge groups are not assumed to be finitely generated and that they do not necessarily belong to a peripheral collection of subgroups of an adjacent vertex are the main differences between this work and previous results in the literature. \end{abstract}

18: