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 :
    {x∈X:pΩ(x)<1}=core⁡(Ω);\{x\in X:p_\Omega(x)<1\}=\operatorname{core}(\Omega);
  2. the non-strict sublevel set is the :
    {x∈X: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 .