Definition:Isolated Point of Subset