嵌入

1. 嵌入 (qiànrù)

   1. 牢固地或深深地固定或树立 implant
   2. 紧紧地埋入 embed
   3. 镶入 let into
      • 嵌入沥青路的花坛

数学上，嵌入是指一个数学结构经映射包含到另一个结构中。某个物件X称为嵌入到另一个物件Y中，是指有一个保持结构的单射f: X→Y，这个映射f就给出了一个嵌入。上述“保持结构”的准确意思，需由所讨论的结构而定。一个保持结构的映射，在范畴论中称为态射。 要表达f: X→Y是一个嵌入，有时会使用带钩箭号。但这个带钩箭号有时只留作表示包含映射时用。