Definition:Idempotence/Algebraic Structure

Definition
Let $\left({S, \circ}\right)$ be an algebraic structure.

Let $\circ$ be an idempotent operation on $S$.

Then $\left({S, \circ}\right)$ is an idempotent algebraic structure.