包含映射

在數學裏 ， 若A爲B的子集 ， 則其包含映射  爲一函數 ， 其將A的每一元素映射至B內的同一元素 ： i: A → B, i ( x ) = x. 「 有鉤箭頭 」 有時被用來標記一內含映射 。 此一及其他類似的由子結構映射的單射函數有時會被稱爲自然單射 。 給定任一於對象X和Y之間的態射 ， 若存在一映射至其定義域的內含映射i: A → X ， 則可形成一f的限制: A → Y 。 在許多的例子內 ， 亦可以建立一映射至陪域的內含映射R → Y ， 其中R爲f值域的子集 。