今、何をしようとしているかと言うと、
>>217 の条件の下で、
ν-可測な集合全体と Y に含まれる μ-可測な集合全体は
一致することを証明したい。

しかし、今のところどうもうまくいかない。
Bourbaki には証明されているが。

Bourbaki によると、Y が可算個のコンパクト集合の合併に
含まれている必要はない。