嵌入

嵌入是對拓撲物件（流形、圖、域等）在特定空間中的表示，這種表示方式保留了其連通性或代數性質。例如，域嵌入保留了加法和乘法的代數結構，拓撲空間的嵌入保留了開集，而圖嵌入保留了連通性。

當空間 限制在空間 上的性質與空間 的性質相同時，空間 嵌入到空間 中。例如，有理數嵌入到實數中，整數嵌入到有理數中。在幾何學中，球體作為單位球體嵌入到 中。

設 和 是針對同一階語言 的結構，並設 是從 到 的同態。那麼，如果 是單射的，則 是一個嵌入（Enderton 1972, Grätzer 1979, Burris and Sankappanavar 1981）。

例如，如果 和 是偏序集，則單射單調對映 可能不是從 到 的嵌入。要成為嵌入，這樣的對映必須“雙向”保留順序