嵌入_(數學)

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