theorem Th6: :: TOPREALA:6

for X being TopSpace
for Y being TopStruct
for f being Function of X,Y st f is empty holds
f is continuous