包含写像

包含写像(inclusion map)

#

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

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

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