つまり
Cが確率空間として定義されていなくても
x∈Cに対するDxがそれぞれ確率空間であれば
C&Dxを確率空間と考えられるな
箱入り無数目は
Dd={(1,d1),…,(n,dn)}にp((k,dk))=1/n
と定義する一様分布において成立する話だが
あえて拡張して（確率空間でもそうで無くても）
C=(R^N)^n
で考えて
C&Dd
を考えているようなものか