Idempotent element

This article defines a property of elements or tuples of elements with respect to a binary operation

Definition

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

Relation with other properties

Stronger properties

• Neutral element
• Nil element

Weaker properties

• Power-associative element