Definition:Commutative Monoid

From ProofWiki
Jump to: navigation, search

Definition

A monoid whose operation is commutative is a commutative monoid.


Also known as

A commutative monoid is also known as an abelian monoid.


Also see


Sources