《点集拓扑学》第6章 §65 分离性公理与子空间,(有限)积.