Theorem

Let C be a collection of subgroups of a group G. Then

_{H C} H

is also a subgroup of G.

Proposition

Let G be a group and D a subset of G. Then

• <D> is the smallest subgroup of G containing D;
• <D> = _{H C} H , where C is the collection of all subgroups of G that contain D.