Max Semigroup is Idempotent

Theorem
Let $\left({S, \preceq}\right)$ be a totally ordered set.

Then the semigroup $\left({S, \max}\right)$ is an idempotent semigroup.

Proof
The fact that $\left({S, \max}\right)$ is a semigroup is demonstrated in Max Operation on Toset is Semigroup.

Then the max operation is idempotent:
 * $\forall x \in S: \max \left({x, x}\right) = x$

The result follows by the definition of idempotent semigroup.

Also see

 * Min Semigroup is Idempotent