Определение

Подмоноид - такое подмножество $M'$, которое:
- является подгруппой $M$ (где $(M,*)$ - моноид) с операцией $*$;
- подмножество $M'$ замкнуто относительно операции $*$;
- обладает единичным нейтральным элементом.