1: \begin{definition}\label{def:pre-diff}(pre-difference set)

2: %

3: %Let $G$ be a group, and $Y$ a non-empty subset of $G$. Define

4: %\begin{equation}\label{eq:conj-int-num}

5: %\lambda_{[a]}:=\#\{(x,y) \mid x^{-1}y \in [a]\},

6: %\end{equation}

7: %where $[a]$ denotes the conjugacy class of $a$ in $G$.

8: %

9: %We say that $Y$ is a conjugative pre-difference set 

10: %(pre-difference set for short)

11: %if and only if 

12: %$\lambda_{[a]}/\#[a]$ is independent of the choice 

13: %of $a \neq 1$. This is the condition (1) in Theorem~\ref{Th:main3}.

14: %

15: %If $\#Y$ is one of $1,\#G-1$, and $\#G$, then $Y$ is a 

16: %pre-difference set. Such a pre-difference set is said to 

17: %be trivial.

18: %\end{definition}