Definition 1.10 (Doubling / difference constant). Given a finite A⊆G, we write
for the doubling constant of A and
for the difference constant of A.