Approximate group (source code)

= Approximate group
{wiki}

A $K$-approximate group is a symmetric set $H$ containing the identity such that $H+H$ is covered by at most $K$ translates of $H$.