Definition:Relative Topology