> 誤解です
　ほんとだ、君、間違ってる

誤　A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・
正　A(=A∖{}),A∖{a1},A∖{a1,a2},A∖{a1,a2,a3},・・ A∖{aξ∣ξ<α}・・

>選択関数fは
>f：集合族（定義域：入力）→ ある要素（aα：出力）
>（aα= f(A∖{aξ∣ξ<α}) の通りですが）

じゃ、fを表に出しなよ

A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…
↓
f(A),f(A∖f(A)),f((A∖f(A))∖f(A∖f(A))),…

定義域の集合族を{A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…}に制限したいらしいけど
それ中のfを全部消さないと、循環論法でアウトだから
いってることわかる？六甲山のおサルさん

ふっふっふっふ　ほっほっほっほ　はっはっはっは