measures 12

You may think it is strange that an outer measure becomes a measure.

An outer measure is a measure of a certain set to cover its area fully.

This means to allow measurement of a given set by approximating it from the outside of its perimeter.

Namely, an outer measure contains all elements of the set and some elements outside of the set.

However, an inner measure contains just only the elements in the set although it is not able to cover fully.

$\cup I^k\subset C\subset \cup I^l$ .

The theorem of Darboux needs that an outer measure will be consistent with an inner measure.

$m(\cup I^k)\leq m(C)\leq m(\cup I^l)$  .

How do we understand an inner measure?