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