Definition:Separated Topological Space