Definition 1.1 (Sumset). Let G be an abelian group. Given A,B⊆G, define the sumset A+B to be

A+B:={a+b:a∈A,b∈B}

and the difference set A−B to be

A−B:={a+b:a∈A,b∈B}.