包含映射
在数学里，若A为B的子集，则其包含映射为一函数，其将A的每一元素映射至B内的同一元素：
- i:A → B, i(x) = x.
「有钩箭头」
有时被用来标记一内含映射。
此一及其他类似的由子结构映射的单射函数有时会被称为自然单射。
给定任一于对象X和Y之间的态射，若存在一映射至其定义域的内含映射i:A→X，则可形成一f的限制
:A→Y。在许多的例子内，亦可以创建一映射至陪域的内含映射R→Y，其中R为f值域的子集。
Inclusion map
中文百科
英语百科
Inclusion map 包含映射
In mathematics, if 
is a subset of 
, then the inclusion map (also inclusion function, insertion, or canonical injection) is the function 
that sends each element, 
of to , treated as an element of :
A "hooked arrow" is sometimes used in place of the function arrow above to denote an inclusion map.