Title: General topology and its relations to modern analysis and algebra IV