>>548
順序構造なんて無いって書いたでしょ。
順序が無いところで有界って言ってるんだから大きさをはかって（つまり絶対値をとって）からしか比べられないじゃないですか。

|0.1| = 0.1
なんですよ。ただし、左の0.1は非アルキメデスな局所体の素元πのことだから、例えば、Q_pならpだし、F_p((X))ならXのことで、右の0.1は1/pのことですよ。