encyclopedia of general topologyという本があるが内容は知らん