Talk:Restricted sumset

nonempty
The first paragraph defines:
 * $$ A_1,\ldots,A_n$$ are finite nonempty subsets

.. but later it is noted that |S| = 0 is possible. Is anything actually gained by disallowing empty A_i? Should the 'nonempty' restriction actually be there? Hv 23:28, 10 August 2007 (UTC)