theorem Th15: :: JORDAN7:15

for n being Nat
for P being non empty Subset of (TOP-REAL n)
for f being Function of I[01],((TOP-REAL n) | P) st f is being_homeomorphism holds
ex g being Function of I[01],(TOP-REAL n) st
( f = g & g is continuous & g is one-to-one )