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,…

Definition: A non empty set G having binary operation “*” (say) is called semi group in math if it satisfies the following two axioms: Closure…