部分群
群の部分集合であること。
もとの群と同じ演算をしても閉じていること。(演算結果がすべてその部分集合の中の要素になること。)
すべての逆元がその部分集合に含まれていること。