几何与拓扑

子空间拓扑以子集与所在拓扑空间的开集之交为开集，赋予该子集拓扑结构。