Let XX be a real and let ΩX\Omega\subseteq X be and . Then the pΩp_\Omega is finite-valued and . Moreover,

  1. the strict sublevel set is the :
    {xX:pΩ(x)<1}=core(Ω);\{x\in X:p_\Omega(x)<1\}=\operatorname{core}(\Omega);
  2. the non-strict sublevel set is the :
    {xX:pΩ(x)1}=lin(Ω).\{x\in X:p_\Omega(x)\le 1\}=\operatorname{lin}(\Omega).
Application

These level-set formulas connect the geometry of Ω\Omega with a canonical sublinear functional and lead to .