S b subgroups H, @) is a subgroup of(G, @)if H is a subset ofg a is a grouSubgroups (H,@) is a subgroup of (G,@) if: • H is a subset of G • (H,@) is a group