Definition:Naturally Totally Ordered Semigroup

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \circ, \preceq}$ be a right naturally totally ordered semigroup and a left naturally totally ordered semigroup.


Then $\struct {S, \circ, \preceq}$ is a naturally totally ordered semigroup.


Also see


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Naturally_Totally_Ordered_Semigroup&oldid=527716"