theorem
  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;
