定義
E を実数体 R 上の線形空間とする。
E 上の正の半同次形式(>>92)で凸(>>82)であるものを劣線形形式
(sublinear form)または劣線形関数と言う。