>>884
Ｘの元xはg(Ｙ)に含まれるか含まれないかで分けられて
含まれない場合はx∈Ｘ_0で、含まれる場合にはあるn≧1が存在してx∈Ｘ_nとなるはずだから
∪[n=0,∞]Ｘ_nでＸの全てを埋め尽くしてるように思う
だからＸ_∞は空集合じゃないか？