包含写像
inclusion function
標準的包含
と呼んだりもする
単射
である
$ \hookrightarrow
という記号を使うことが多い
$ \sub
と
$ \to
の組み合わせのイメージ
定義
$ A\subset B
のとき、
$ \forall x\in A
を
$ B
の元として扱う写像
$ \iota: A\ni x\mapsto x\in B
のこと
具体例
https://gyazo.com/7b39735efc8474b8b2f3cc580c191453
恒等関数
は、包含写像の特殊版と考えることができる
$ A
は
$ B
の部分集合だが、重なっている(
$ A=B
)とき