for n being Nat
for p being Point of (TOP-REAL n)
for A, B being Subset of (TOP-REAL n) st B is closed & p in Int A holds
for h being Function of ((TOP-REAL n) | A),((TOP-REAL n) | B) st h is being_homeomorphism holds
h . p in Int B