additive basisA subset A of ℤ is an () basis of n ifnA=ℕ∪{0},where nA is n-fold sumset of A. Usually it is assumed that 0 belongs to A when saying that A is an additive basis.