Jabarkan Struktur monoid dari Monoid

Submonoid dari sebuah monoid  adalah himpunan bagian N dari M dibawah operasi monoid dan elemen identitas e dari M. Secara simbolis, N adalah submonoid dari M jika ,  dimana , dan . N dengan monoid dibawah operasi biner yang digunakan dari M.