>>572
>整列集合を定義域とする写像f(x)を{f(y)|y≺x}を用いて定義する

Jechの証明では
a(α)＝{a(ξ)∣ξ<α}　ではなく
a(α)＝f({a(ξ)∣ξ<α})　なんですがね
aの定義域は順序数でいいけど
fの定義域は？　Aの空でない部分集合でしょ
fはAの空でない部分集合から要素を選ぶ関数で
この関数の存在を選択公理で保証してるんでしょ