Kleene Closure is Monoid

Theorem
Let $S$ be a set, and let $S^*$ be its Kleene closure.

Let $*$ denote concatenation of sequences.

Then $\left({S^*, *}\right)$ is a monoid.