# Min Semigroup is Commutative

 It has been suggested that this page or section be merged into Min Operation on Toset is Semigroup. (Discuss)

## Theorem

Let $\struct {S, \preceq}$ be a totally ordered set.

Then the semigroup $\struct{S, \min}$ is commutative.

## Proof

Let $x, y \in S$.

$\map \min {x, y}= \map \min {y, x}$

Hence the result, by definition of commutative semigroup.

$\blacksquare$