嵌入

數學上，嵌入是指一個數學結構經映射包含到另一個結構中。某個物件X稱為嵌入到另一個物件Y中，是指有一個保持結構的單射f: X→Y，這個映射f就給出了一個嵌入。上述「保持結構」的準確意思，需由所討論的結構而定。一個保持結構的映射，在範疇論中稱為態射。 要表達f: X→Y是一個嵌入，有時會使用帶鉤箭號。但這個帶鉤箭號有時只留作表示包含映射時用。