Talk:Integral of Characteristic Function

Isn't this direct from the definition of $\mu$-integral?

Practically. Technical point is to show that the intuitive partition into measurable sets is indeed a standard representation. Feel free to write it up. --Lord_Farin (talk) 13:05, 11 October 2012 (UTC)