The following is a wonderful property of the Lebesgue Integral, also known as absolute continuity of Lebesgue Integral. Basically, it means that whenever the domain of integration has small enough measure, then the integral will be arbitrarily small.

Suppose is integrable.

Given , there exists such that for all measurable sets with , .

**Proof:**

Define for . Each is measurable and . Note that

Let . Then is a sequence of non-negative functions such that . By Monotone Convergence Theorem, , that is,

Let be sufficiently large such that .

Let , and suppose . Then