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