Die Zugehörigkeit k ∈ n M + {\displaystyle {}k\in nM_{+}} bedeutet, dass es n {\displaystyle {}n} Elemente m 1 , … , m n ∈ M + = N ≥ e {\displaystyle {}m_{1},\ldots ,m_{n}\in M_{+}=\mathbb {N} _{\geq e}} mit
Wegen n j ≥ e {\displaystyle {}n_{j}\geq e} ist k ≥ n e {\displaystyle {}k\geq ne} . Wenn umgekehrt k ≥ n e {\displaystyle {}k\geq ne} gilt, so kann man
mit m ≥ e {\displaystyle {}m\geq e} schreiben, also ist k ∈ n M + {\displaystyle {}k\in nM_{+}} .
diese Menge besitzt somit n e {\displaystyle {}ne} Elemente.