1: \begin{abstract}

2: Let $G$ be a finite group and $f:G \to \C$ be a function.

3: For a non-empty finite subset $Y\subset G$, 

4: let $I_Y(f)$ denote the average of $f$ over $Y$. Then,

5: $I_G(f)$ is the average of $f$ over $G$. 

6: Using the decomposition of $f$ into irreducible components 

7: of $\C^G$ as a representation of $G\times G$,

8: we define

9: non-negative real numbers $V(f)$ and $D(Y)$, each depending

10: only on $f$, $Y$, respectively, such that

11: an inequality of the form $|I_G(f)-I_Y(f)|\leq V(f)\cdot D(Y)$

12: holds. We give a lower bound of $D(Y)$ depending only

13: on $\#Y$ and $\#G$. We show that the lower bound is achieved

14: if and only if 

15: $\#\{(x,y)\in Y^2 \mid x^{-1}y \in [a]\}/\#[a]$

16: is independent of the choice of the conjugacy class $[a]\subset G$

17: for $a \neq 1$. We call such a $Y\subset G$ as a pre-difference set

18: in $G$, since the  

19: condition is satisfied if $Y$ is a difference set. If $G$ is abelian,

20: the condition is equivalent to that $Y$ is a difference set.

21: We found a non-trivial pre-difference set in the dihedral group 

22: of order 16, where no non-trivial difference set exists.

23: A generalization to commutative association schemes is 

24: also given.

25: \end{abstract}