这不就是E的相对拓扑吗,
或者说:E 是 X的一个子集,(X,T) 是一个拓扑空间.
E 和拓扑 T 的每一个元素的交集构成了集合 E 的一个拓扑.
这个拓扑称作相对拓扑,这个拓扑空间称作子空间.
证明是显然的