Definition:Addition/Naturally Ordered Semigroup
< Definition:Addition(Redirected from Definition:Naturally Ordered Semigroup Addition)
Jump to navigation
Jump to search
Definition
Let $\struct {S, \circ, \preceq}$ be a naturally ordered semigroup.
The operation $\circ$ in $\struct {S, \circ, \preceq}$ is called addition.