Definition:Deleted Neighborhood (Real Analysis)