>>394　了解！
f:全射より　∀y∈Y に対して∃x∈X　s.t. f(x)=y
ゆえにg:Y→X を　　g(f(x))=x　(∀x∈X)　で定義する！
このとき
f。g(y)=f。g(f(x))　　(∵　fが単射よりy=f(x)となるx∈X は唯一つ)
　　　 =f(x)　　
　　　 =y

これでOKでしょうか？？？