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$

Also see

 * Semilattice