Some results on distance functions Reichel, H. C. — 1977 General topology and its relations to modern analysis and algebra IV