>>429
逆の証明が無いのにqedと書いたのはどういうことだろうか。

書かれている証明は正しいと言っていいだろうが、
> またfが単射であることから∀y∈Yに対してそれに対応するx∈Xは一つである。
の部分は今の練習の趣旨からはきちんと定義>>387から導くべき。
弟子のような初学者はできるだけ定義をそのままの形で使って曖昧な言葉を極力排除し、冗長でも論理式が透けて見えるような証明を書くことを心がけるといい。

この証明あたってますか、という問いかけがもっともあほらしい。
自分で正しさを確信できない限り証明したとはいえず、数学にならない。