>>493
>集合論では、関数もまた集合である
>”G = { (x, f(x)) | x ∈ X}”
>常識ですが
>簡便には (x, f(x))の集まり ですな
>『選択”関数”』だから？ なんだと？

選択公理とは
「集合族XXの各要素集合Xが空でない、つまりx∈Xとなる要素が存在するとき
　XXからXへの関数ｆ、つまりf={(X, x) | X∈XX　x∈X}が存在する」
という主張

fは唯一ではない（つまり一意的でない）が、
少なくとも一つ存在するなら一つとれる（つまり一意化できる）