>>180
>一般的な教科書の証明では、空でないXから適当なa∈Xを1つ選んで逆写像を構成していますが
そうなの?g:f(X)→Xが自然に作れるというだけでは?
g:Y\f(X)→{a}のこと?