質問: 群論です。
回答: これだけだと、Hが空集合の場合も条件を満たしてしまいますが、空集合では(部分)群とは見なさないのが通常ですから、空集合を除外する条件がありますね。 Hが単位元を含むならもちろん空集合ではないので、それでも良いですが、有限群であれば、単位元を含むとしなくても空集合でなければその要素のべき乗で単位元も作ることができるので、単位元を含むことまでを要請しなくても良いでしょう。