\begin{definition}[Definition:Idempotent Semigroup]
An '''idempotent semigroup''' is a semigroup whose operation is idempotent.
That is, a semigroup $\struct {S, \circ}$ is '''idempotent''' {{iff}}:
:$\forall x \in S: x \circ x = x$
\end{definition}