Idempotent semigroup

Definition
An idempotent semigroup is a semigroup where every element is idempotent.