Decrease And Conquer Topological Space Def