>>382 「>>371」のことが全然あいまいで間違っているということは
さっき猛勉強してわかりました。
f:X→Y:が全射
定義 任意のy∈Yに対してf(x)=yを満たすx∈Xが存在する。

fが単射
定義  f(x)=f(y)⇒x=y つまり、xとyが異なれば、f(x)とf(y)はことなる
ということです。