Weitere spezielle Ergebnisse

Zusammenfassung

Ist A eine beliebige Menge mit der Eigenschaft $\mathfrak{A} + \mathfrak{A}\underline{\underline \subset } \mathfrak{A}$, so ergibt sich nach (eventueller) Hinzufügung der Null zu A sofort A + A = A, so daß A (mit den Bezeichnungen aus 2.) Relativnullen besitzt und zugleich identisch mit der eignen umfassendsten Relativnull ist ; d. h. A = O_A,u ist notwendig und hinreichend A + A = A. Ferner ist offenbar jede Zahl aus A, die größer als Max (o ₁, o ₂,..., o _k-1, o) ist, als Summe zweier von Null verschiedener Zahlen aus A darstellbar. Um diese Eigenschaft für alle a _i ∈ A = {a ₀ = 0, a ₁,...}, i ≧ 2, zu sichern, genügt es offensichtlich, daß sowohl o als auch alle Elemente o _λ ≧ a ₂ der erzeugenden Relativnull mod o diese Eigenschaft haben.