Definition:Right Naturally Totally Ordered Semigroup

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \circ, \preceq}$ be a positively totally ordered semigroup.


Then $\struct {S, \circ, \preceq}$ is a right naturally totally ordered semigroup if and only if:

$\forall a, b \in S: a \prec b \implies \exists x \in S: b = a \circ x$


Also see


Sources

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