综上有T|x是Y的拓扑 定义3.1.3设Y是拓扑空间(X,T) 的一个子集.Y的拓扑Ty称为（相对于 X的拓扑T而言的)相对拓扑： 拓扑空间(Y,T|y)称为拓扑空间X的 一个（拓扑）子空间.综上有 是Y 的拓扑. 定义3.1.3 设Y 是拓扑空间 的一个子集. Y 的拓扑 称为(相对于 X的拓扑 而言的)相对拓扑； 拓扑空间 称为拓扑空间 X 的 一个(拓扑)子空间. T | Y ( , ) X T T | Y T ( , ) Y T | Y 综上有 是Y 的拓扑. 定义3.1.3 设Y 是拓扑空间 的一个子集. Y 的拓扑 称为(相对于 X的拓扑 而言的)相对拓扑； 拓扑空间 称为拓扑空间 X 的 一个(拓扑)子空间. T | Y ( , ) X T T | Y T ( , ) Y T | Y 综上有 是Y 的拓扑. 定义3.1.3 设Y 是拓扑空间 的一个子集. Y 的拓扑 称为(相对于 X的拓扑 而言的)相对拓扑； 拓扑空间 称为拓扑空间 X 的 一个(拓扑)子空间. T | Y ( , ) X T T | Y T ( , ) Y T | Y 综上有 是Y 的拓扑. 定义3.1.3 设Y 是拓扑空间 的一个子集. Y 的拓扑 称为(相对于 X的拓扑 而言的)相对拓扑； 拓扑空间 称为拓扑空间 X 的 一个(拓扑)子空间. T | Y ( , ) X T T | Y T ( , ) Y T | Y 综上有 是Y 的拓扑. 定义3.1.3 设Y 是拓扑空间 的一个子集. Y 的拓扑 称为(相对于 X的拓扑 而言的)相对拓扑； 拓扑空间 称为拓扑空间 X 的 一个(拓扑)子空间. T | Y ( , ) X T T | Y T ( , ) Y T | Y 综上有 是Y 的拓扑. 定义3.1.3 设Y 是拓扑空间 的一个子集. Y 的拓扑 称为(相对于 X的拓扑 而言的)相对拓扑； 拓扑空间 称为拓扑空间 X 的 一个(拓扑)子空间. T | Y ( , ) X T T | Y T ( , ) Y T | Y 综上有 是Y 的拓扑. 定义3.1.3 设Y 是拓扑空间 的一个子集. Y 的拓扑 称为(相对于 X的拓扑 而言的)相对拓扑； 拓扑空间 称为拓扑空间 X 的 一个(拓扑)子空间. T | Y ( , ) X T T | Y T ( , ) Y T | Y