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