$$\displaystyle{\overline{\int_a^b}f(x)\ dx=\inf_{\Delta}S_\Delta}$$
と表し上積分と呼ぶ。と表し上積分と呼び、
$$\displaystyle{\underline{\int_a^b}f(x)\ dx=\sup_{\Delta}s_\Delta}$$
と表し下積分と呼ぶ。
この時、
$$\displaystyle{\overline{\int_a^b}f(x)\ dx=\underline{\int_a^b}f(x)\ dx}$$
が成立する時に $$f(x)$$ は積分可能であると言い、
$$\displaystyle{\int_a^bf(x)\ dx$$
と表し、その値を
$$\displaystyle{\int_a^bf(x)\ dx=\overline{\int_a^b}f(x)\ dx=\underline{\int_a^b}f(x)\ dx}$$
と定める。