General Topology and Its Relations to Modern Analysis and Algebra IV