monoid group defination.

A semi group is called monoid if there exists an identity element ‘e’ in G such that; 

        [G2]         e *  a = a * e = a ,   ∀ a ∈ G

   Where,.  *    is  mathematical operation