Un subconjunto $\mathcal{A}$ de un grupo conmutativo $G$ notado aditivamente, es un conjunto $S_h$ en $G$, si todas las sumas de $h$ elementos distintos de $\mathcal{A}$, omitiendo las permutaciones de los sumandos, ...