Definition:Idempotence/Algebraic Structure

From ProofWiki
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.