Category:Definitions/Idempotent Semigroups

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Idempotent Semigroups.
Related results can be found in Category: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$

Pages in category "Definitions/Idempotent Semigroups"

The following 2 pages are in this category, out of 2 total.