4.3.2 更多的拓扑性质