# Abstract Algebra/Group Theory/Subgroup/Definition of a Subgroup

Let G be a group with binary operation ${\displaystyle \ast }$

Subgroup H of Group G
1. is a group
2. is a subset of G
3. shares ${\displaystyle \ast }$ with G