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

A+B:={a+b:aA,bB}

and the difference set AB to be

AB:={a+b:aA,bB}.