Proper subsemigroup

Перевод proper subsemigroup на русский язык

Every proper subsemigroup of a group is not a group.

Каждая собственная подполугруппа группы не является группой.