F を可換体とし、F((X)) を F 係数の１変数形式的べき級数体(>>57)とする。
実数 c ＞ 1 を固定する。
f ∈ F((X)) のとき、|f| = c^(-ord(f)) と書く。
f = 0 のときは |f| = 0 である。

>>66より、ord は、F((X)) の離散付値であるから、
f, g を F((X)) の元とすると、以下が成り立つ。

1) |f| = 0 と f = 0 は同値である。

2) |fg| = |f||g|

3) |f + g| ≦ sup(|f|, |g|)

よって、過去スレ006の452より、関数 |f| は F((X)) の非アルキメデス絶対値
(過去スレ006の448)である。

f と g の距離を |f - g| で定義すると、
過去スレ006の421より、F((X)) は位相体になる。