で定義される集合関数 "μ" は "x" 上の外測度であり、カラテオドリ可測集合の σ-代数 σ 上で "μ" により導かれる測度 "μ" は、formula_4に対してformula_5を満たす(特に、σ は "r" を含む)。