Definition:Induced Topology