標準的包含と呼んだりもする

単射である

\hookrightarrowという記号を使うことが多い

\subと\toの組み合わせのイメージ

定義

A\subset Bのとき、\forall x\in AをBの元として扱う写像

\iota: A\ni x\mapsto x\in B

のこと

具体例

恒等関数は、包含写像の特殊版と考えることができる

AはBの部分集合だが、重なっている(A=B)とき