嵌入的意思

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