全射
surjection
$ 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|
が成り立つ
全射の定義を考えれば自明ではある
mrsekut.icon