全射
全寫。surjection。上への寫像 (onto function)
全射的 (surjective。onto)
全射 - Wikipedia
surjection in nLab
寫像
$ f:D\twoheadrightarrow C
が
全射
であるとは、
右全域的 (right-total)
$ \forall c_{\in C}\exist d_{\in D}(f(d)=c)
である事を言ふ
寫像は
左全域的 (left-total)
$ \forall d_{\in D}\exist c_{\in C}(f(d)=c)
である
全射
でない寫像を中への寫像 (into function) と呼ぶ事が在る
集合の圈
では
全射
は
epi 射
だが、一般には似てゐない