b\in Bのとき常にf(a)=bとなるa\in Aが存在する

集合A,B、写像f(a\in A)=b\in Bのとき

ゴール地点が全て埋まっている

どちらかというとゴール地点に着目してる

ゴール地点が重複するものがあってもいい

重複がなければ全単射

濃度の話

f:A\to Bという写像を考えており、このfが全射なのであれば

|A|\ge |B|が成り立つ

全射の定義を考えれば自明ではある