除非有额外叙述，一般拓扑空间的子集都会假定设有一子空间拓扑。若爲内的开集、闭集或稠密集，则分别称爲内的一开子空间、闭子空间或稠密子空间。另外，也可以定义内的子集的子空间拓扑为会使得内含映射为连续的最弱拓扑。更一般地，设爲一由集合至拓扑空间的单射，则于 "S" 上的子空间拓扑即为定义爲爲连续的最弱拓扑。此拓扑的开集恰好会是的其中一个，其中的爲内的开集。因此同胚于在内的值域（也是带子空间拓扑），且会被称之为拓扑嵌入。