Table of Contents - 21.3.18.13. Caratheodory's extension theorem
In this section, we define a function which constructs an outer
measure, from a pre-measure . An explicit generic definition of an
outer measure is not given. It consists of the three following statements:
- the outer measure of an empty set is zero (oms0)
- it is monotone (omsmon)
- it is countably sub-additive (omssubadd)
See Definition 1.11.1 of [Bogachev] p. 41.