Category:Commutative Semigroups

From ProofWiki
Jump to navigation Jump to search

This category contains results about Commutative Semigroups.

Let $\struct {S, \circ}$ be a semigroup such that the operation $\circ$ is a commutative operation.


Then $\struct {S, \circ}$ is a commutative semigroup.