Definition talk:Generated Normal Subgroup/Definition 2

Need a refactoring
This page contain two definitions:
 * 1. the smallest normal subgroup of $G$ containing $S$
 * 2. $\gen {S^G} = \gen {x S x^{-1}: x \in G}$

There is no obvious connection between them, though they are in fact equivalent. One of them must be presented as Definition 3. --Usagiop (talk) 19:43, 17 July 2023 (UTC)