点集拓扑(代理)

前置

• 紧空间
• 连通空间
• 乘积空间
• 序拓扑