相对拓扑空间的定义