eine C^∞-Funktion f auf einer offenen Menge U ⊂ ℝⁿ, deren Graph eine semialgebraische Teilmenge von ℝⁿ⁺¹ ist.

Ein Beispiel ist die Funktion

\begin{eqnarray}f(x)=\sqrt{1+{f}_{1}{(x)}^{2}+\cdots +{f}_{k}{(x)}^{2}},\end{eqnarray}