T 3 -completions of convergence vector spaces Müller, Bernd — 1977 General topology and its relations to modern analysis and algebra IV