>>65
ん?
なら、一般の順序体に対して絶対値はどのように定義されると思ってるわけ?