theorem Th47: :: TOPS_5:47

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