相对拓扑的定义到底是什么?《real analysis and probability》中给出的定义是若(X,T)是个拓