>>198
(C,Dx)考えてたんだから
A⊂(C,Dx)
で
f(x)=μDx(Ax)
がC上の可測関数であるとき
μ(A)=∫μDx(Ax)μC
と測度を定義だな