definitiongroup-theory Definition Given a group (G,⋅), a subgroup H≤G is a subset H⊆G that is itself a group along with the operation ⋅ from (G,⋅). Examples