Let G be a group, and H a subset of G. We shall say that H is a subgroup if it contains the unit element, and if, whenever x,y∈H, then xy and x^(-1) are also elements of H. (Additively, we write x+y∈H and -x∈H.) Then H is itself a group in its own right, the law of composition in H being the same as that in G. The unit element of G constitutes a subgroup, and G is a subgroup of itself. ※ x^(-1)はxの逆元
という問題があります。
G：群，H：Gの部分群
部分群は
x,y∈H ⇒ xy∈H かつx^(-1)∈H
が成り立つ。
加法の時はx+y∈H, -x∈Hである。
までは自分で訳せました。でも、Thenからよく分かりません。
合成の方法が同じ？それ自身の部分群？とか変な訳になってしまいます。
ここまでの訳があっているか、Then以下はどう訳すか
分かる方教えてください！！お願いします！！
お礼
ありがとうございます！！ そう訳せばわかりました★☆確かにそうなりますね！！ 助かりました（＞＜）