>>567
選択公理を用いて定義した集合はヴィタリ集合のようにルベーグ非可測になる場合がある。
君の集合の定義にがっつり決定番号使ってるが、決定番号はしっぽ同値類の代表を用いて定義され、しっぽ同値類の代表は選択公理で選んでいるんだがだいじょうぶかい？