Definition:Naturally Ordered Semigroup Addition