S subgroups (H, @) is a subgroup of(G, @)if H is a subset of g (H, @ is a groupSubgroups (H,@) is a subgroup of (G,@) if: • H is a subset of G • (H,@) is a group