# Definition:Commutative Monoid

## Definition

A monoid whose operation is commutative is a commutative monoid.

## Also known as

A commutative monoid is also known as an abelian monoid.