generator of a group

Let \(G\) be a group and \(S \subseteq G\) a subset. Then \(\langle S\rangle\) is defined as smallest group with

see:

• Schnitt von Gruppen als Gruppe