>>513 補足
卵が先か
ニワトリが先か？

ケースバイケース

卵を買ってきて
その卵を孵して ニワトリを得たら
卵が先だ

ニワトリを買ってきて
そのニワトリに卵を産ませたら
ニワトリが先だ

　>>504の en.wikipedia 9＾ Jech, Thomas (2002). Set Theory
”For every ordinal α, define an element aα that is in A by setting
aα= f(A∖{aξ∣ξ<α})
if this complement A∖{aξ∣ξ<α} is nonempty, or leave aα undefined if it is.”

で、 ”A∖{aξ∣ξ<α}”から初めて、この段階では選択関数 f は、使われていない
”A∖{aξ∣ξ<α}”が、最初の定義だよ

なんか、思考力が弱そうだな キミｗ
数学に向いていないね、キミｗｗ ；ｐ）