Text this: General topology and its relations to modern analysis and algebra IV :