劣線形汎関数

実ベクトル空間 $X$ 上の関数 $p:X\to\mathbb{R}$ が、全 $x,y\in X$ と $t\ge0$ について $p(x + y)\le p(x) + p(y)$ かつ $p(tx) = tp(x)$ を満たすとき、劣線形であるという。半ノルムは劣線形である。