>>694
funcの定義域は集合Aだけを含む集合族となりますね。添字集合は文字「A」のみ。
具体的でない「捉えどころの無い集合」なんてのはそれこそ選択公理絡みでしか出現しないような予感がしますが、
そこから１個だけ要素を拾い上げるのも超越的な操作に思われ、これも選択公理が前提なのではないでしょうか？