"X"→"Y"，这个映射"f"就给出了一个嵌入。上述「保持结构」的准确意思，需由所讨论的结构而定。一个保持结构的映射，在范畴论中称为态射。要表达"f": "X"→"Y"是一个嵌入，有时会使用带钩箭号formula_1。但这个带钩箭号有时只留作表示包含映射时用。
拓扑与几何.
点集拓扑.拓扑上，一个嵌入是一个单射，使得拓扑空间到其像上为同胚。换言之，两个拓扑空间"X", "Y"之间的一个连续单射"f": "X"→"Y"是一个拓扑嵌入，如果"f"给出"X"与