連投すみません。
この文献(②の定義を用いているほう)では、生成系の例として、
[0,1]は加法群R^nの生成系である、とありますが、定義②に基づくとR^nの非負の部分しか生成されませんよね。
定義が間違っているのでしょうか。