1: \begin{definition}

2: The basic sets $\Lambda_1,\dots,\Lambda_m$ defined by item~1 of Theorem~\ref{t.main} will be called the \emph{core basic sets} of $X$.  A plug decomposition of $(M,X)$  satisfying item~2 of Theorem~\ref{t.main} (\emph{i.e.} a plug decomposition $V_1,\dots,V_m$ such that the maximal invariant set of $V_i$ is the core basic set $\Lambda_i$ for every $i$) will be called a \emph{fine plug decomposition}.

3: \end{definition}

4: