1: \begin{definition}[Tameness and type]\label{def:Tame}

2: 	A pair of sets $A, B\subseteq \mb G$ is a \emph{tame subcritical pair} if $\nu_{*}(A+B)=\nu(A)+\nu(B)$ and there is a $\nu$-measurable finite index subgroup $ K\leq G$ such that $A,B$, and $ K$ satisfy one of the conclusions (I)-(III) of Proposition \ref{prop:Reduction}.  If $A, B$, and $K$ satisfy conclusion (I), we say that the triple $A, B,  K$ \emph{has type (I)}, and similarly for the other conclusions. We say that $A, B$ has type (I) if there exists a finite index subgroup $ K\leq  G$ such that $A, B,  K$ has type (I), and similarly for the other types.

3: 	

4: 	When the ambient group is compact, the terms ``tame'' and ``type'' can be applied, simply replacing Proposition \ref{prop:Reduction} with Theorem \ref{thm:LCAInverse} in the definition.

5: \end{definition}

6: