1: \begin{definition}

2: The constant $\kappa_0(S)$ guaranteed by Theorem \ref{thm: noisebound} is called the \emph{separation exponent} of the set $S$.\qed

3: \label{def: sep constant}

4: \end{definition}

5: