Category:Idempotent Semigroups

From ProofWiki
Jump to navigation Jump to search

This category contains results about Idempotent Semigroups.
Definitions specific to this category can be found in Definitions/Idempotent Semigroups.

An idempotent semigroup is a semigroup whose operation is idempotent.


That is, a semigroup $\struct {S, \circ}$ is idempotent if and only if:

$\forall x \in S: x \circ x = x$