Definition (Sum set / difference set / etc). Let G be an abelian group and let A,BG.

The sumset A+B is the set {x+y:xA,yB}.

The difference set AB is the set {xy:xA,yB}.

We write 2A for A+A, 3A for A+A+A, etc.