ABSTRACT

An outer measure on a set Y is a function M on the power set of Y such that 0 < M {E) < oo for every subset E of Y, M(0) = 0, and M (E) < Σ η= ι M (E n) for E C (J~=i E n. The last two conditions imply M (A ) < M (B ) for A C B.