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

Let G be a group with binary operation

Subgroup H of Group G
  1. is a group
  2. is a subset of G
  3. shares with G