最後に確認したいんだが有理数体順序完備の単位元はゼロ未満、つまりマイナスの有理数ってことでいいんだよね？