Definition:Idempotent Semigroup

Definition
An idempotent semigroup is a semigroup whose operation is idempotent.

That is, a semigroup $\left({S, \circ}\right)$ is idempotent iff:
 * $\forall x \in S: x \circ x = x$