>>241
それって、単に名前付けているだけじゃない？
それに、下記wikipedia選択公理でも、選択関数fとあるよ
その証明で使う上界とか、集合とか全部アルファベットの名前付けている
それと何が違う？

wikipedia　選択公理より
写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）