Additively principal

Redirect to:

• Additively indecomposable ordinal