Definition:Isolated Point of Topological Space