We have earlier defined the generated subgroup for an arbitrary subset $A\subseteq G$.

Because it will not significantly impact the rest of our studies, we will not discuss this idea at any length.

It’s an important idea for algebra generally, but just not for this introductory course.