この時、有界な関数 $$f(x_1,x_2,\dots,x_n)$$ に対し、次の関数 $$\tilde{f}:\tilde{\Omega}\to\mathbb{R}$$ を定める。
$$\tilde{f}(x_1,x_2,\dots,x_n)=\left\{\begin{array*}{c}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{array*}\right.$$