Subgroup Generator

Definition

If A⊆G for Group G then define:

⟨A⟩=⋂A⊆H:H≤GH

This is called the subgroup of G generated by A.