**Definition**: A non empty set G having binary operation “*” (say) is called **Monoid** if it satisfies the following axioms:

**Closure Property w.r.t “*“**

i.e, a\ast b\in G\;\;\;\;\;\;\;\forall\;a,b\in G

**Associative Law w.r.t “*“**

(a\ast b)\ast c=a\ast(b\ast c)\;\;\;\;\;\;:\;\forall\;a,b,c\in G

**Identity element exist.**

There is identity element e in G such that

a\ast e=e\ast a=a\;\;\;\;\;\;\;\;\forall\;a\in G

If the above three properties hold then the set is called **Monoid.**

We can also say **semi group **having identity element is called Monoid

## Examples: Monoid

The following sets are Monoid

- The set of
**Whole Numbers**with respect to “Addition” and “Multiplication”. - The set of
**Natural Number**with respect to “Multiplication”.