 Sublinear functional

A real-valued functional $p$ is sublinear when
$p(x+y)\le p(x)+p(y)$ and $p(tx)=tp(x)$ for every $t\ge 0$.