有理数体の切片について聞きたいんだが。
Q=有理数体
q=有理数体順序完備
S(0)={ x ∈ Q ; x < 0 } は 加法の単位元である。実際qの任意の元αに
対し、
    S(0)+α={ x ∈ Q ; x < 0 }⊂α
って書いてあるんだが、有理数体の単位元って0じゃないの?