單射
injection
単射 - Wikipedia
injection in nLab
寫像
$ f:D\hookrightarrow C
が
單射
であるとは、
左一意的 (left-unique)
$ \forall{d_1,d_2}_{\in D},c_{\in C}(f(d_1)=c\land f(d_2)=c\to d_1=d_2)
である事を言ふ
寫像は
右一意的 (right-unique)
$ \forall d_{\in D},{c_1,c_2}_{\in C}(f(d)=c_1\land f(d)=c_2\to c_1=c_2)
である
集合の圈
では
單射
は
mono 射
である