>どちらも、aα=f(A-{aξ：ξ<α}) あるいは aα= f(A∖{aξ∣ξ<α})
>つまり、関数で書くと
>・ｆ：A-{aξ:ξ<α} → aα
>・ｆ：A∖{aξ∣ξ<α} → aα
>定義域 A-{aξ:ξ<α} または {aξ∣ξ<α}
君、関数も知らないの？
f(A∖{aξ∣ξ<α}) ってことは A∖{aξ∣ξ<α} はfの定義域の元だろ？
君が言うように定義域の元が定義域なら x∈x だから正則性公理に反するぞｗ

君、呆れるほど分かってないんだね
処刑されるの公開されて楽しいかい？