Let G be an abelian group. Let H be the subset of G consisting of the identity e together with all elements of G of order 2. Show that H is a subgroup of G.
I'm not sure how to go about showing closure. Can it be assumed that any operation on elements of order 2 will produce another element of order 2? Doesn't seem right...