嵌入映射

當集合A⊂B時，對任何a∈A，定義f：A→B，a↦a。則稱f是A到B上的嵌入映射，記為A↪B。當A=B時，f就是恆等映射idA。

在羣論中，羣A到B的嵌入有時也指A到B的單同態。