Atoms in uniformities and proximities Pelant, J.; Reiterman, J. — 1977 General topology and its relations to modern analysis and algebra IV