在范畴论中称为态射。要表达"f": "X"→"Y"是一个嵌入，有时会使用带钩箭号formula_1。但这个带钩箭号有时只留作表示包含映射时用。
拓扑与几何.
点集拓扑.拓扑上，一个嵌入是一个单射，使得拓扑空间到其像上为同胚。换言之，两个拓扑空间"X", "Y"之间的一个连续单射"f": "X"→"Y"是一个拓扑嵌入，如果"f"给出"X"与"f"("X")间的同胚（空间"f"("X")上的拓扑是由"Y"诱导的子空间拓扑。）凡是连续单射的开映射或闭映射都是拓扑