命題
>>13 の下で、

X の任意の部分集合 A に対して

μ^*(A) = inf {λ(U) | A ⊂ U, U は開集合}

と定義する。

A, B, A_n, n = 0, 1, 2, . . . は X の部分集合とする。

(1) 0 ≦ μ^*(A) ≦ +∞

(2) μ^*(φ) = 0

(3) A ⊂ B なら μ^*(A) ⊂ μ^*(B)

(4) μ^*(∪A_n) ≦ Σμ^*(A_n)

証明
過去スレ007の761と同様である。