Let be a group, and be an ascending chain of subgroups of ; that is, for . Prove that is a subgroup of .
Note that is not empty since . Now let . Then we have and for some ; suppose without loss of generality that . Then , so that . By the subgroup criterion, then, , so that . By the subgroup criterion, is a subgroup of .