$(X,\tau),(Y,\sigma)$ topolojik uzaylar ve $f\in Y^X$ olmak üzere
$$(f:(X,\tau)\to (Y,\sigma) \text{ homeomorfizma})(\emptyset\neq A\subseteq X)$$
$$\Rightarrow$$
$$f|_A:(A,\tau_A)\to (f[A],\sigma_{f[A]}) \text{ homeomorfizma}$$ olduğunu gösteriniz.