To show that H is a subgroup of (G, *), it suffice to show that for all a and b in H (as a subset of G), . This basically checks the closure of an operation '*' and its existence of an inverse in H. If H satifies this subgroup condition, it means H also satisfies the remaining group axioms (identity, associativity). You can think that "associativity" w.r.t '*' is simply inherited from G.