《点集拓扑学》第6章 §6.1 ,Ha