Meaningless without closedness
Since substructures need not be closed, the generated substructure will simply be the set itself. Only when we require closedness (i.e. generated submagma) this definition makes sense. --barto (talk) (contribs) 15:48, 14 January 2018 (EST)