包含写像

包含写像(inclusion map)

#

集合$X$とその部分集合$Y$が存在するとき、写像$f: Y \to X$を包含写像という。

恒等写像$\mathrm{id}_{A}: A \to A$は包含写像の特殊な場合であると考えることができる。

なぜなら集合$A$に対して$A$自身は$A$の部分集合だからである。