Download Topological Spaces. From Distance To Neighborhood