$X, Y$を位相空間とする。$f : X \to Y$が次を満たす場合、$f$を埋め込みと言い、$f : X \hookrightarrow Y$と表記する。
$X$が$Y$の部分空間である。
$f : X \to f(X)$が位相同型写像である。
朴大熙・安昇浩、位相数学 (第4版, 2018)、p232 ↩︎
