X, X'を位相空間、f:X→X'を写像として、
f(X)⊂X"⊂X'となるX'の部分位相空間X"に対して、
f':X→X"をfの終域X'をX"におきかえた写像とする。
f:X→X'は開写像 ⇔ f' X→X"は開写像は成り立ちますか。