部分写像
定義
部分写像$ f \colon a \supseteq a' \to b' \subseteq b
or $ f\colon a \rightsquigarrow b
where
$ \operatorname{dom}(f) =a : 集合
$ \operatorname{ddef}(f)=a' \subseteq a
$ \operatorname{cod}(f)=b : 集合
$ \operatorname{im}(f)=b' \subseteq b
$ F = \left\lang\mathrm{Binary\ relation}\colon X,Y;G \right\rang
特別な場合
部分写像$ f
s.t.$ \operatorname{dom}(f) = \operatorname{ddef}(f)
可逆な部分写像
これを全単射と呼んじゃう人もいる
対象は集合
射は部分写像
具体的な定義域や像がわからなくても扱える