定義
K を可換とは限らない体とする。
| | を K の自明でない絶対値(過去スレ006の414)とする。
E を K 上の線形空間とする。
Σ を E 上の半ノルムの全体とする。

Σ の元 p, q に対して p ≦ λq となる λ ＞ 0 があるとき、
(便宜上) p ⊂ q と書く。
関係 p ⊂ q は Σ における前順序(preorder)である。