theorem :: FINTOPO8:54

for T being non empty TopSpace
for f being Function of T,R^1 holds Top2NTop f is Function of (Top2NTop T),(Top2NTop R^1) ;