Subgroup H of G, denoted H ≤ G