3.4.7 拓扑的世界：开邻域