Idempotent magma

Definition
An idempotent magma is defined as a magma $$(S,*)$$ such that $$x * x = x$$ for all $$x \in S$$.