二項關係
寫像 (map。函數 (function)。射 (morphism))
二項關係
$ f\subseteq D\times C
は以下を滿たすならば寫像
$ f:D\to C
と呼ぶ
左全域的 (left-total)
$ \forall d_{\in D}\exist c_{\in C}(f(d)=c)
多價函數
(multivalued function)
更に
右全域的 (right-total)
であれば
全射
と呼ぶ
右一意的 (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)
更に
左一意的 (left-unique)
であれば
單射
と呼ぶ
関数 (数学) - Wikipedia
射 (圏論) - Wikipedia
写像 - Wikipedia
寫像ではない函數
多價函數
(multivalued function)
多価関数 - Wikipedia
超函數 (generalized function)
分解
全射 - Wikipedia#合成と分解
写像 - Wikipedia#商と標準分解