ブルバキ数学原論 積分 vol.3, 付録, 補題 1 の証明で, U が F' で強閉であるという仮定を課していますが, この仮定は除去しなくてはなりません. そして, 実際に除去できます. 実際, F' に於ける W の強閉包 W' が U に含まれるという部分の証明では, U が F…