Foundations of general topology. - Pervin William J (1964)