Definition:Idempotence/Algebraic Structure
Jump to navigation
Jump to search
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.