ガロア第一論文と乗数イデアル他関連資料スレ12

>分出公理を使うと、Sの部分集合として
>{A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・}
>これから 集合族 が出来て
>A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・
　aξの定義に選択関数使っちゃってますが