Definition 1.20 (gamma-popular differences). Given A⊆G and γ>0, let
be the set of γ-popular differences of A.