1: \begin{definition}\label{def1}

2: Suppose the manifold $M$ has a decomposition $M=\Bb^1\cup (\cup \Bb_{j_2}^2)\cup\dots\cup(\cup \Bb_{j_k}^k)$ as in Theorem~\ref{thm_f} and Remark~\ref{rm1}. We define a tree structure so that the vertices correspond to the bodies $\Bb^j_i$. If for some indices $j$, $i$ and $i'$, the intersection $\Bb^j_i\cap\Bb^{j+1}_{i'}$ is nonempty, we connect $\Bb^{j+1}_{i'}$ and $\Bb^j_i$ with an edge. We denote by $L^j_i$ the set of children of $\Bb^j_i$, i.e.,

3: $$L^j_i=\{\Bb^{j+1}_k|\Bb^{j+1}_k\cap \Bb^{j}_i\neq \emptyset\}$$ and let

4:  $$\Ll^j_i=\cup_{\Bb^{j+1}_k\in L^j_i} \Bb^{j+1}_k.$$

5: We denote by $\Tt^j_i$ the set of vertices of the subtree with root $\Bb^j_i$. In other words,

6: $$\Tt^j_i=\Bb^j_i\cup \Ll^j_i\cup (\cup_{\Bb^{j_1}_{i_1}\in L^j_i}(\Ll^{j_1}_{i_1}\cup(\cup_{\Bb^{j_2}_{i_2}\in L^{j_1}_{i_1}}\Ll^{j_2}_{i_2}\cup\dots))).$$

7: \end{definition}

8: