Let be a group, and be a subset of . Then

which is the intersection of all the subgroups of that contain , and is called the subgroup generated by .

If , we say generates , or is a generating set for .