>>27において非アルキメデス的ノルムという用語は適切でない。
よって次のように修正する。

定義
K を非アルキメデス的完備体(>>26)とする。
E を K 上のノルム空間(過去スレ006の561)とし、|x| をそのノルムとする。

任意の x ∈ E, y ∈ E に対して |x + y| ≦ max(|x|, |y|) となるとき
|x| を超ノルム(ultranorm)と呼ぶ。