定義
E を実数体 R 上の前順序線形空間(>>75)とする。
f : E → R を線形写像で任意の x ≧ 0 に対して f(x) ≧ 0 とする。
このとき f を E 上の正の線形形式と言う。