Searching for “ introduction-to-general-topology ”