Определение

Подполугруппа - такое подмножество $S'$, которое:
- является подгруппой $S$ с операцией $*$;
- подмножество $S'$ замкнуто относительно операции $*$.