3.4.6 拓扑的世界：开集公理