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)가 위상동형사상이다.
박대희·안승호, 위상수학 (4th Edition, 2018), p232 ↩︎