User blog comment:Edwin Shade/Understanding The Infinite/@comment-32213734-20171109082956

Few days ago I formulated Rules 2, 3, 5, 6, 8, 9 so:

Rules 2, 3: α + β = sup((α + δ) + 1), δ < β

Rules 5, 6: α · β = sup((α · δ) + α), δ < β

Rules 8, 9: αβ = sup((αδ) · α), δ < β

(for both limit and successor β)

How do you like this?