Idempotent element

Definition
An element $$a$$ in a magma $$(S,*)$$ is termed idempotent if $$a * a = a$$.

Stronger properties

 * Weaker than::Neutral element
 * Weaker than::Nil element

Weaker properties

 * Stronger than::Power-associative element