@edwin_teejay @eeevgen where you define c : \omega -&gt; s to be the  tossed 10 times, where \omega is an arbitrary probability space.

this makes clear it is the range and distribution of the rv that matters, not the domain or underlying measure.

the whole chapter starts with the wrong idea.