# Category:Ordered Semigroups

Jump to navigation
Jump to search

This category contains results about **Ordered Semigroups**.

An **ordered semigroup** is an ordered structure $\struct {S, \circ, \preceq}$ such that $\struct {S, \circ}$ is a semigroup.

## Subcategories

This category has the following 4 subcategories, out of 4 total.

## Pages in category "Ordered Semigroups"

The following 13 pages are in this category, out of 13 total.

### I

### P

### S

- Simple Order Product of Pair of Ordered Semigroups is Ordered Semigroup
- Strict Ordering Preserved under Cancellability in Totally Ordered Semigroup
- Strict Ordering Preserved under Product with Cancellable Element
- Strict Ordering Preserved under Product with Invertible Element
- Subsemigroup of Ordered Semigroup is Ordered