\begin{definition}[Definition:Idempotence/Algebraic Structure]
Let $\struct {S, \circ}$ be an algebraic structure.
Let $\circ$ be an idempotent operation on $S$.
Then $\struct {S, \circ}$ is an '''idempotent algebraic structure'''.
Category:Definitions/Idempotence
\end{definition}