嵌入

嵌入是指将拓扑对象、流形、图、域等在特定空间中进行表示，这种表示方式会保留其连通性或代数性质。例如，域嵌入会保留加法和乘法的代数结构；拓扑空间的嵌入会保留其开集；图嵌入会保留其连通性。当空间 Y 限制在空间 X 上的性质与空间 X 本身的性质相同时，我们就说空间 X 嵌入到了空间 Y 中。