この時、有界な関数 $$f(x_1,x_2,\dots,x_n)$$ に対し、次の関数 $$\tilde{f}:\tilde{\Omega}\to\mathbb{R}$$ を定める。
$$\tilde{f}(x_1,x_2,\dots,x_n)=\begin{align*}f(x_1,x_2,\dots,x_n)\hspace{10pt}((x_1,x_2,\dots,x_n)\in\Omega) \\0 \hspace{10pt}((x_1,x_2,\dots,x_n)\not\in\Omega)\end{align*}$$