generating set of a group
subset of a group such that all group elements can be expressed by finitely many group operations on its elements
subset of a group such that all group elements can be expressed by finitely many group operations on its elements