是指子空间吗?
设 $(X,O)$ 为拓扑空间,$A subset X$.
$$O_A := {A cap U | U subset O }$$
称作 $O$ 的相对拓扑或诱导拓扑.
$(A,O_A)$ 称作 $X$ 的子空间.