Genearal topology. - Willard Stephen (1970)