in bezug auf Summenbildung unzerlegbare Menge.

Es seien ℕ₀ die Menge der nichtnegativen ganzen Zahlen und A₁,..A_N ⊆ ℕ₀. Dann bezeichnet man die Menge \begin{eqnarray}\mathop{\sum ^{n}}\limits_{i=1}{A}_{i}={A}_{1}+\ldots +{A}_{n}=\left\{\mathop{\sum ^{n}}\limits_{i=1}{a}_{i}|{a}_{i}\in {A}_{i}\right\}\end{eqnarray} als Summenmenge der A_i. Eine Menge M ⊆ ℕ₀ heißt dann irrduzibel, wenn sie nur die triviale Darstellung als Summenmenge besitzt, das heißt: \begin{eqnarray}M=\{a\}+{M}_{1},0\le a\le m.\end{eqnarray}

Dabei bezeichnet m die kleinste in M vorkommende Zahl (siehe auch Irreduzibilität).