一个稍微麻烦的数学题证明:设Y是拓扑空间X的一个子集,A,B包含于Y,则A和B是子空间Y中的隔离子集当且仅当他们是拓扑空