Definition:Idempotence/Algebraic Structure

Definition
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.