Monoid

• A set equiped with a binary opertor that
  • is associative
  • has an identity element
• A Semi Group with an identity element.
• A monoid which is commutative is an commutative monoid or abelian monoid.

Examples:

• non negative integers with additions
• positive integers with multiplication