theorem Th48: :: TOPS_5:48

for S, T being non empty TopSpace
for f being Function of S,T st f is bijective & ex K being prebasis of S ex L being prebasis of T st f .: K = L holds
f is being_homeomorphism