reserve Y for TopStruct;
reserve X for non empty TopSpace;
reserve X for almost_discrete non empty TopSpace;
reserve X,Y for non empty TopSpace;

theorem Th62:
  for X being discrete TopSpace, Y being TopSpace, f being
  Function of X,Y holds f is continuous
by TDLAT_3:16;
