Untuk setiap \(U\) yang terbuka dalam \(Y\text{,}\) berlaku \((f|_A)^{-1}(U)=A\cap f^{-1}(U)\text{,}\) yang terbuka dalam topologi subruang pada \(A\text{.}\)