Approximate group (source code)

= Approximate group
{wiki}

A $K$-approximate group is a finite <symmetric subset of a group> $A$ for which some set $X$ with $|X|\leq K$ satisfies $A^2\subseteq XA$. In additive notation the covering condition is $A+A\subseteq X+A$.