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.


Also known as

The concept of idempotence can also be referred to as idempotency.


Also see

  • Results about idempotence can be found here.